TY  - BOOK
AU  - Laudet M Ed.
AU  -  Lacomde D Ed.
AU  -  Nolin L Ed.
ED  - International conference on automatic demonstration (1968 : France)
TI  - Proceeding on automatic demonstration
T2  - Lecture notes in mathematics; 125
U1  - D65,8(B), L0 
PY  - 1970///
CY  - Berlin
PB  - Springer Verlag      
KW  - Computer science
ER  -