DEDUCTION SYSTEMS IN ARTIFICIAL INTELLIGENCE
KARL HANS BLASIUS AND HANS-JURGEN BURCKERT1989 年出版238 页ISBN:
Hans-Hermann Dubben,Hans-pefer Beck-Bornholdf著;苏源慈译;郑天泽审定;杨雪论校订2009 年出版292 页ISBN:9789861214627
INTERMEDIATE ALGEBRA FIFTH EDITION
JEROME E.KAUFMANN1996 年出版637 页ISBN:0534948782