Lecture Notes in Artificial Intelligence 3452 Logic for Programming
Artificial Intelligence2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3002 Metainformatics International Symposium
MIS 20032004 年出版213 页ISBN：3540220100
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
FOORNDATIONS OF COMPUTATIONAL LINGUISTICS HUMAN COMPUTER COMMUNICATION IN NATURAL LANGUAGE
ROLAND HAUSSER2001 年出版578 页ISBN：
Bioinspired Computation in Combinatorial Optimization:Algorithms and Their Computational Complexity
Neumann2010 年出版216 页ISBN：9783642165436;3642165435
Advances in Bioinformatics and Computational Biology Brazilian Symposium on Bioinformatics
BSB 20052005 年出版258 页ISBN：3540280081
Topics in Computational Number Theory Inspired by Peter L. Montgomery
Joppe W.Bos2017 年出版266 页ISBN：1107109353
Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN：3540250514
Lecture Notes in Artificial Intelligence 4520 Anticipatory Behavior in Adaptive Learning Systems Fro
2007 年出版379 页ISBN：9783540742616
