TY  - BOOK
AU  - Symposium on Automatic Demonstration, France, Dec. 1968
AU  - Laudet, M ; ed.
TI  - Automatic demonstration; proceedings
U1  - 511.3 
PY  - 1970///
CY  - Berlin
PB  - Springer-Verlag
ER  -