Cover Image
Saved in:

Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings /

Bibliographic Details
Corporate Author: Botik '89 Pereslavlʹ-Zalesskiĭ, Russia)
Other Authors: Meyer, Albert R., Taitslin, M. A. 1936-
Format: Conference Proceeding Book
Published: Berlin ; New York : Springer-Verlag, c1989.
Series:Lecture notes in computer science ; 363
Tags: Add Tag
No Tags, Be the first to tag this record!


Holdings details from MAIN
Call Number: Find on map
QA75.5.B67 1989
Copy 1 Live Status Unavailable