Logical Foundations of Computer Science - Tver '92
Subtitle: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Lecture Notes in Computer Science)
Contributors: Anil Nerode (Editor); Mikhail Taitslin (Editor)
Publisher: Springer
Published: July 1992
Language: eng
Format: Paperback
Number of pages: 514
ISBN-13: 9783540557074
Subjects: General Theory of Computing; Mathematical logic; Computer Science; Logic; Machine Theory; Computers - General Information; Congresses