Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
by:
Anil Nerode (author)
M. Taitslin (author)
Format: paperback
ISBN:
9780387557076 (0387557075)
Publish date: July 1st 1992
Publisher: Springer
Pages no: 514
Edition language: English