AUTOMATED REASONING AND ITS APPLICATIONS
VEROFF, R. (ED.)
AUTOMATED REASONING AND ITS APPLICATIONS - LONDON : MIT 1997 - 247 p.
0000262220555
REASONING: EXPERT SYSTEMS : ARTIFICIAL INTELLIGENCE
006.333 / V26
AUTOMATED REASONING AND ITS APPLICATIONS - LONDON : MIT 1997 - 247 p.
0000262220555
REASONING: EXPERT SYSTEMS : ARTIFICIAL INTELLIGENCE
006.333 / V26