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) -
New Essays on Belnap-Dunn Logic
Έκδοση: (2019) -
Computational Artifacts Towards a Philosophy of Computer Science /
ανά: Turner, Raymond, κ.ά.
Έκδοση: (2018) -
Theory of Graded Consequence A General Framework for Logics of Uncertainty /
ανά: Chakraborty, Mihir Kumar, κ.ά.
Έκδοση: (2019)