TY  - GEN
AU  - Wos, Larry ...[et al.]
TI  - Automated reasoning : introduction and applications
SN  - 0130544531
PY  - 1984///
CY  - Englewood Cliffs
PB  - Prentice-Hall
KW  - ARTIFICIAL INTELLIGENCE
N1  - Index included
ER  -