Logic at Botik 89
Subtitle: Symposium on Logical Foundations of Computer Science Pereslavl Zalessky USSR July 1989 (Lecture Notes in Computer Science)
Contributors: M. A. Taitslin (Editor)
Publisher: Springer
Published: August 1989
Language: eng
Number of pages: 289
ISBN-13: 9780387512372