TY  - BOOK
AU  - CARBONELL G. JAIME
TI  - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE: THEOREM PROVING WITH ANALYTICAL TABLEAUX AND RELATED METHODS
U1  - 006.306 
PY  - 1991///
CY  - BERLIN
PB  - Springer
KW  - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE (COMPUTERS)
ER  -