Cover Image

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

Show other versions (1)

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

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA75.5 .B67 1989
 
Call Number Status Get It
QA75.5 .B67 1989 Available