Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
OBJECT-ORIENTED PROGRAMMING FOR ARTIFICIAL INTELLIGENCE A GUIDE TO TOOLS AND SYSTEM DESIGN
ERNEST R.TELLO1989 年出版335 页ISBN：020109228X
Lecture Notes in Aetificial Intelligence 4386 Coordination
Organizations2007 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN：3540527346;0387527346
Lecture Notes in Computer Science 363 Logic at Botik'89
1989 年出版289 页ISBN：0387512373
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
Lecture Notes in Artificial Inelligence 4441:Speaker Classification II
2007 年出版309 页ISBN：9783540741213
Lecture Notes in Artificial Inelligence 4343:Speaker Classification I
2007 年出版355 页ISBN：9783540741862
statistical relational artificial intelligence logic
probability2222 年出版0 页ISBN：
