عنوان

Logic at Botik'89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : Proceedings

Logic at Botik'89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : Proceedings

1989: Pereslavl'-Zalesskii, R.S.F.S.R.

Berlin

Springer-Verlag

c1989

x, 289p.: ill

Lecture notes in computer science; 363

Includes bibliographies

ISBN: 3540512373

A.R. Meyer, M.A. Taitslin )eds.(

Congresses ، Computers

Congresses ، Electronic data processing

Congresses ، Logic, Symbolic and mathematical

L28

Vol

363

AU Meyer, Albert R.

AU Taitslin, Mikhail A., 1936-

TI Logical foundations of computer science

Botik