Logical foundations of computer science-Tver '92
second international symposium, Tver, Russia, July 20-24, 1992 proceedings
كتاب من تأليف: Taitslin, (Mikhail A.) (1936-). ; Nerode, Anil (1932-....) ; International Symposium on Logical Foundations of Computer Science (2nd ; نشر في: 1992
طبعة:
New York:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
1 vol. (ix, 514 p.) ill.
;24 cm
ISBN: 0387557075
