Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht /
This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally well-known scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excel...
| Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
|---|---|
| Άλλοι συγγραφείς: | Mycielski, Jan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Salomaa, Arto (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1997.
|
| Έκδοση: | 1st ed. 1997. |
| Σειρά: | Lecture Notes in Computer Science,
1261 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
Έκδοση: (1997) -
Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /
ανά: Dalla Chiara, Maria Luisa, κ.ά.
Έκδοση: (2018) -
Computational Artifacts Towards a Philosophy of Computer Science /
ανά: Turner, Raymond, κ.ά.
Έκδοση: (2018) -
New Essays on Belnap-Dunn Logic
Έκδοση: (2019) -
Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings /
Έκδοση: (1999)