Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN:354045778X
ARTIFICIAL INTELLIGENCE IN COMPUTATIONAL ENGINEERING
2222 年出版254 页ISBN:0130482730
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN:
NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE
KEN SATOH2007 年出版404 页ISBN:9783540781967
ARTIFICIAL INTELLIGENCE TECHNIQUES IN PROLOG
YOAV SHOHAM1994 年出版327 页ISBN:1558601678
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN:3540108866