ebook img
Author:Dimitry A. ArchangelskyMikhail A. Taitslin (auth.)Anil NerodeMikhail Taitslin (eds.)
Language:English
Release year:1992
File size:2.98 MB
Number of page:517

Similar Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings