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