held at versailles/France, December 1968 <br/><br/>
Symposium on automatic demonstration   
ed. by M. Laudet [et al] 
 - Berlin  Springer-Verlag  1970 
 - 310p. 
 - Lecture notes in mathematics 125 .
<br/><br/><label>Dewey Class. No.: </label>519.406  / N70