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
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE (COMPUTERS)
006.306 / BAU