Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN：3540250514
Lecture Notes in Artificial Intelligence 4130 Automated Reasoning Third International Joint Conferen
IJCAR 20062006 年出版680 页ISBN：3540371877
Lecture Notes in Artificial Intelligence 3097 Automated Reasoning Second International Joint Confere
IJCAR 20042004 年出版492 页ISBN：3540223452
Lecture Notes in Artificial Intelligence 3245 Discovery Science 7th International Conference
DS 20042004 年出版430 页ISBN：3540233571
Lecture Notes in Artificial Intelligence 4597 Advances in Data mining 7th Industriak Cinference
ICDM 20072007 年出版352 页ISBN：9783540734345
Lecture Notes in Computer Science 3399 Web Technologies Research and Development-APWeb 2005 7th Asia
2005 年出版1082 页ISBN：354025207X
Lecture Notes in Artificial Intelligence 3065 Deontic Logic in Computer Science 7th International Wo
DEON 20042004 年出版275 页ISBN：3540221115
Lecture Notes in Artificial Intelligence 4027 Flexible Query Answering Systems 7th International COn
FQAS 20062006 年出版714 页ISBN：3540346384
Lecture Notes in Artificial Intelligence 4371 Computational Logic in Multi-Agent Systems 7th Interna
CLIMAA VII Hakodate2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3529 Agent-Oriented Information Systems III 7th Internation
AOIS 20052006 年出版291 页ISBN：9783540482918
