TY  - BOOK
T1  - Deduction systems in artificial intelligence
A2  - Blasius
A2  - Burckert
LA  - English
UL  - http://discoverylib.upm.edu.my/discovery/Record/545818
OP  - 238
CN  - QA76.9 A96D299
SN  - 047021550X
KW  - Artificial intelligence
KW  - Automatic theorem provingx
ER  -