Lecture Notes in Artificial Intelligence 449 10th International Conference on Automated Deduction
M.E.Stickel1990 年出版688 页ISBN：
Proceedings of the 7th International Conference on AUTOMATED INSPECTION AND PRODUCT CONTROL
1985 年出版356 页ISBN：0903608863
The Cultural Intelligence Difference:Master the One Skill You Can't Do Without in Today's Global Eco
Livermore2011 年出版207 页ISBN：9780814417065
Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
Agent-Mediated Electronic Commerce Automated Negotiation and Strategy Design for Electronic Markets
2007 年出版250 页ISBN：9783540725015
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
