Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.).

Publication:

Berlin ; New York : Springer-Verlag, c1989.

Conference Name:

Botik '89 (1989 : Pereslavl'-Zalesskiĭ, R.S.F.S.R.)

Series:

Lecture notes in computer science. 363

Format/Description:

Conference/Event
Book
x, 289 p. : ill. ; 24 cm.

Subjects:

Computers -- Congresses.
Electronic data processing -- Congresses.
Logic, Symbolic and mathematical -- Congresses.

Notes:

Includes bibliographical references.

Contributor:

Meyer, Albert R.
Taitslin, M. A. (Michael A.)

ISBN:

0387512373 (U.S.)

OCLC:

19814715

Online:

Online access from HathiTrust during COVID-19 — only for students, active faculty, and permanent staff
http://catalog.hathitrust.org/api/volumes/oclc/19814715.html

Loading...