Meyer, A R. Ed. Taitslin, M A. Ed.
Logic at Botik '89 Proceedings Symposium, Pereslavl-Zalessky, USSR, 1989 - Berlin Springer Verlag 1989 - 289 - Lecture notes in computer science ; 00363 .
3540512373
Logical Foundations
Computer Science
681 LNCS
Logic at Botik '89 Proceedings Symposium, Pereslavl-Zalessky, USSR, 1989 - Berlin Springer Verlag 1989 - 289 - Lecture notes in computer science ; 00363 .
3540512373
Logical Foundations
Computer Science
681 LNCS