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
PRACTICAL ELECTRICAL SIXTEENTH EDITION
H.P.RICHTER W.CREIGHTON SCHWAN1993 年出版644 页ISBN:0070523940