Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992: Proceedings (Lecture Notes in Computer Science)
by
Anil Nerode
Paperback
details (
USA
).
ISBN: 978-0-387-55707-6
ISBN-10: 0-387-55707-5
Springer Verlag
· 1992
See also:
2008
Taschenbuch
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)