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

Saved in:
Bibliographic Details
Corporate Author: LFCS '94 (St. Petersburg, Russia)
Other Authors: Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.), Nerode, Anil, 1932-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1994.
Series:Lecture notes in computer science ; 813.
Subjects:
Description
Physical Description:ix, 392 p. ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:3540581405
0387581405