TIMOTHY TREGARTHEN AND LIBBY RITTENBERG2000 年出版725 页ISBN：
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
Fundamentals and applications of gas phase ion chemistry
Jennings;Keith R.;NATO Advanced Study Institute on Fundamentals and Applications of Gas Phase Ion Chemistry; North Atlantic Treaty Organization. Scientific Affairs Division.1999 年出版503 页ISBN：079235463X
FUNDAMENTALS OF MATERIALS SCIENCE AND ENGINEERING AN INTERACTIVE E.TEXT
WILLIAM D.CALLISTER2001 年出版524 页ISBN：047139551X
S jbarkehall thomas and Vjvann2011 年出版303 页ISBN：0409328626
ENCUENTROS SECOND EDITION INSTRUCTOR'S EDITION
EMILY SPINELLI MARTA ROSSO-OLAUGHLIN1992 年出版559 页ISBN：0030558743
