TY  - BOOK
AU  - Bibel,Wolfgang
AU  - Kowalski,Robert
ED  - Conference on Automated Deduction
TI  - 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 
T2  - Lecture Notes in Computer Science
SN  - 3540100091
PY  - 1980///
CY  - Berlin [etc.]
PB  - Springer-Verlag
KW  - Automatyczne dowodzenie twierdzeń
KW  - konferencje
KW  - kaba
KW  - Logika symboliczna i matematyczna
N1  - Bibliogr. przy rozdz; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540100096
ER  -