Logical foundations of computer science-Tver '92
second international symposium, Tver, Russia, July 20-24, 1992 proceedings
Livre Ecrit par: Taitslin, (Mikhail A.) (1936-). ; Nerode, Anil (1932-....) ; International Symposium on Logical Foundations of Computer Science (2nd ; Publié en: 1992
Edition:
New York:
Springer-Verlag
Springer-Verlag
Langue:
Anglais
Collation:
1 vol. (ix, 514 p.) ill.
;24 cm
ISBN: 0387557075
