Laudet. M and Lacombe. D
Symposium on Automatic Demonstration; edited by M. Laudet [and others] - Berlin, New York, Springer-Verlag, 1970. - 310 p. - Lecture notes in mathematics 125 . - Lecture notes in mathematics (Springer-Verlag) ; 125. .
English or French.
Includes bibliographies.
Automatic theorem proving
51 / LNM
Symposium on Automatic Demonstration; edited by M. Laudet [and others] - Berlin, New York, Springer-Verlag, 1970. - 310 p. - Lecture notes in mathematics 125 . - Lecture notes in mathematics (Springer-Verlag) ; 125. .
English or French.
Includes bibliographies.
Automatic theorem proving
51 / LNM