AUTOMATED REASONING AND ITS APPLICATIONS - VEROFF, R. (ED.) (LONDON : MIT, 1997)
Keywords: REASONING: EXPERT SYSTEMS : ARTIFICIAL INTELLIGENCE