ISBN 9783540557074 books & textbook
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Lecture Notes in Computer Science, 620)
Nerode, Anil Taitslin, Mikhail
Springer /1992-06-24 Paperback / 528 Pages
isbn-10: 3540557075 / isbn-13: 9783540557074
