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 P̌ereslavlʹ-Zalesskiĭ, R.S.F.S.R.
Other Authors:	Meyer, Albert R., Taitslin, M. A. (Michael A.)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1989]
Series:	Lecture notes in computer science ; 363.
Subjects:	Computers > Congresses. Electronic data processing > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage