Meyer A R Ed.

Proceedings on Logic at Botik'89 by Meyer A R Ed.; Taitslin M A Ed. - Berlin Springer-Verlag 1989 - 289p. cm. - Lecture notes in computer science; 363 .

73126

Textual


Computer science

D65,8(B):(R1), M9