Cover Image

Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings /

Show other versions (1)
Bibliographic Details
Other Authors: Nerode, Anil, 1932-, Taitslin, M. A. (Mikhail A.), 1936-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1992]
Series:Lecture notes in computer science ; 620.
Subjects:
Computers > Congresses.
Electronic data processing > Congresses.
Logic, Symbolic and mathematical > Congresses.
Show all versions (2)