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.

Remote Storage

Holdings details from Remote Storage
Call Number: QA75.5 .L64 1992
 
Call Number Status Get It
QA75.5 .L64 1992 Available