TY  - BOOK
AU  - VEROFF,  R. (ED.)
TI  - AUTOMATED REASONING AND ITS APPLICATIONS
SN  - 0000262220555
U1  - 006.333 
PB  - LONDON : MIT
KW  - REASONING: EXPERT SYSTEMS : ARTIFICIAL INTELLIGENCE
ER  -