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

The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; t...

Full description

Bibliographic Details
Corporate Authors:	Botik '89 Pereslavlʹ-Zalesskiĭ, R.S.F.S.R., SpringerLink (Online service)
Other Authors:	Meyer, Albert R., Taitslin, M. A. (Mikhail A.), 1936-
Format:	Conference Proceeding eBook
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. Ordinateurs > Congrès. Logique symbolique et mathématique > Congrès. Informatique > Congrès. Computers. Electronic data processing. Logic, Symbolic and mathematical. Computer science. Logics and Meanings of Programs. Software Engineering. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics) Mathematical Logic and Foundations. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

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

Published 1989

Conference Proceeding Book