Symposium on Automatic Demonstration : held at Versilles/France, December 1968 /

Bibliographic Details
Corporate Authors:	Symposium on Automatic Demonstration Versailles, France, SpringerLink (Online service)
Other Authors:	Laudet, M.
Format:	Conference Proceeding eBook
Language:	English French
Published:	Berlin ; New York : Springer-Verlag, 1970.
Series:	Lecture notes in mathematics (Springer-Verlag) ; 125.
Subjects:	Automatic theorem proving > Congresses. Automatic theorem proving. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Available Online