Symposium on Automatic Demonstration

RecordNumber :

28324

LC Class :

LC Number :

LC CutterNumber :

.L28,no.125

Dewey Class :

164

Title :

Author Statement :

edited by M. Laudet [and others]

Publication :

Springer-Verlag

Publication Year :

1970

Collation :

310 p., 26 cm

Series :

Lecture notes in mathematics, 125

Notes :

English or French

Subject :

ADDED ENTRIES :

Laudet, M., ed

DocumentNumber :

10479

Biblography :

Includes bibliographies.

BL :

Link To Document :