RecordNumber

28324

LC Class

QA

LC Number

3

LC CutterNumber

.L28,no.125

Dewey Class

164

Title

Symposium on Automatic Demonstration

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

Automatic theorem proving -- Congresses

ADDED ENTRIES

Laudet, M., ed

DocumentNumber

10479

Biblography

Includes bibliographies.

BL

BL