RecordNumber
69143
Author
Botik ʹ89, Pereslavl-Zalessky, 1989
Addition
A.R. Meyer, M.A. Taitslin (Eds.)
Title
Logic at Botik ʹ89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings
Publication
Springer-Verlag
Publication Year
c1989
Collation
x, 289p.: ill
Series
Lecture notes in computer science; 363
Bibliography
Includes bibliographies
Subject
Computers- Congresses , Electronic data processing- Congresses , Logic, Symbolic and mathematical- Congresses
ADDED ENTRIES
Meyer, Albert R., ed , Series: Lecture notes in computer science; 363
Main Class
005
Sub Class
.131
Cutter no
B749l
Date
1989
وارد كنندة اطلاعات
fazel^d2003/05/21 10:51:16