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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha