Franklin

Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.).

Publication:
Berlin ; New York : Springer-Verlag, c1989.
Conference Name:
Botik '89 (1989 : Pereslavl'-Zalesskiĭ, R.S.F.S.R.)
Series:
Lecture notes in computer science. 363
Format/Description:
Conference/Event
Book
x, 289 p. : ill. ; 24 cm.
Subjects:
Computers -- Congresses.
Electronic data processing -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Notes:
Includes bibliographical references.
Contributor:
Meyer, Albert R.
Taitslin, M. A. (Michael A.)
ISBN:
0387512373 (U.S.)
OCLC:
19814715
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy