Symposium on Automatic Demonstration
By: edited by M. Laudet [and others]
Contributors: Laudet, M.,
Series: Lecture notes in mathematics -- 125; Lecture notes in mathematics (Springer-Verlag) -- 125
Publisher: Springer-Verlag
Published: 1970
Place of publication: Berlin
Language: eng
Number of pages: 310
Subjects: Automatic theorem proving -- Congresses