Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Lecture Notes in Computer Science (620), Band 620)

Foundations

von: Anil Nerode · Mikhail Taitslin

Taschenbuch

ISBN-13: 978-3-540-55707-4

ISBN-10: 3-540-55707-5

Springer · 2008
S. auch:
1992PaperbackLogical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992: Proceedings (Lecture Notes in Computer Science)