Symposium on Automatic Demonstration/ 
edited by M. Laudet ... [and others]. 
 - Berlin;  New York:  Springer-Verlag,  1970. 
 - 310 p.;  26 cm. 
 - Lecture notes in mathematics;  125. .
 - Lecture notes in mathematics (Springer-Verlag);  125. .
<br/><br/> English or French. 
<br/><br/>Includes bibliographies. 
<br/><br/><label>LCCN: </label>79117526 //r85 
<br/><br/><label>Nat. Bib. No.: </label>GDB*** 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving---Congresses.
<br/><br/><label>Dewey Class. No.: </label>164