TY  - BOOK
AU  - Bläsius,K.H.
AU  - Bürckert,H.-J.
TI  - Deduction systems in artificial intelligence
SN  - 047021550X (Halsted Press)
AV  - QA76.9.A96 D4313 1989
U1  - 511.3 20
PY  - 1989///
CY  - Chichester, New York
PB  - Ellis Horwood, Halsted Press
KW  - Automatic theorem proving
KW  - Artificial intelligence
N1  - Translation of: Deduktionssysteme; Includes bibliographical references and index
ER  -