Cover Image

Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /

Bibliographic Details
Other Authors: Nerode, Anil, 1932-, Matii͡asevich, I͡U. V. (I͡Uriĭ V.)
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1994]
Series:Lecture notes in computer science ; 813.
Subjects:
Computer science > Congresses.
Logic, Symbolic and mathematical > Congresses.

Remote Storage

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