TY  - BOOK
AU  - Caferra, R. (Eds.)(et-al)
TI  - Automated deduction in classical and non-classical logics :Lecture notes in artificial intelligence:selected papers
SN  - 0003540671900
U1  - 006.3 
PB  - Springer: Tokyo
KW  - artificial intelligence
ER  -