TY  - BOOK
AU  - Siekmann, Jorg
AU  - Wrightson, Graham
TI  - AUTOMATION OF REASONING
U1  - 001.535 
PY  - 1983///
CY  - Berlin
PB  - Springer-Verlag
KW  - Artificial Intelligence
KW  - Cybernetics
KW  - Reasoning -- Data Processing
ER  -