TY  - GEN
AU  - Blasius, Karl Hans, ed.
TI  - Deduction systems in artificial intelligence
SN  - 0-7458-0409-8
PY  - 1989///
CY  - Chichester
PB  - Ellis Horwood
KW  - DATABASE SYSTEMS
KW  - ARTIFICIAL INTELLIGENCE
KW  - COMPUTER PROGRAMMING-LOGIC PROGRAMMING
KW  - SYSTEMS SCIENCE AND CYBERNETICS-ARTIFICIAL INTELLIGENCE
ER  -