Lecture Notes in Computer Science 2051 Rewriting Techniques and Applications 12th International Conf
RTA 20012001 年出版361 页ISBN：3540421173
Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
Lecture Notes in Computer Science 4098 Term Rewriting and Applications 17th International Conference
RTA 20062006 年出版414 页ISBN：3540368345
Lecture Notes in Artificial Intelligence 3577 Trusting Agents for Trusting Electronic Societies Theo
2005 年出版235 页ISBN：354028012X
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
Lecture Notes in Artificial Intelligence 3910 Engineering Self-Organising Systems Third Internationa
ESOA 20052006 年出版245 页ISBN：3540333428
Lecture Notes in Computer Science Artificial Intelligence 3336 Practical Aspects of Knowledge Manage
PAKM 20042004 年出版524 页ISBN：3540240888
Lecture Notes in Artificial Intelligence 3596 Conceptual Structures:Common Semantics for Sharing Kno
ICCS 20052005 年出版467 页ISBN：3540277838
Lecture Notes in Artificial Intelligence 3012 Multi-Agent for Mass User Support
Koichi Kurumatani2004 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 2281 Progress in Discovery Science Final Report of the Japa
2002 年出版681 页ISBN：3540433384
