TY  - BOOK
AU  - BIBEL,WOLFGANG (ED), KOWALSKI,ROBERT (ED)
TI  - 5TH CONFERENCE ON AUTOMATED DEDUCTION,FRANCE,1980
SN  - NCST
U1  - 901 
PY  - 1980///
CY  - BERLIN
PB  - SV
ER  -