TY  - BOOK
AU  - Laudet M
TI  - Symposium on automatic demonstration
U1  - 004 
PY  - 1970///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
ER  -