HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
Lecture Notes in Computer Science 3134 Extreme Programming and Agile Methods-XP/Agile Universe 2004
2004 年出版233 页ISBN:354022839X