EXPERT SYSTEMS AND ARTIFICIAL INTELLIGENCE IN DECISION SUPPORT SYSTEMS
1987 年出版330 页ISBN:9027724377
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
Software and Systems Traceability
Zisman2012 年出版491 页ISBN:9781447122388;1447122380