LECTURE NOTES IN ARTIFICIAL INTELLIGENCE

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE THEOREM PROVING WITH ANALYTICAL TABLEAUX AND RELATED METHODS edited by CARBONELL G. JAIME - BERLIN Springer 1991


LECTURE NOTES IN ARTIFICIAL INTELLIGENCE (COMPUTERS)

006.306 / BAU