Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 3646 Advances in Intelligent Data Analysis VI 6th International Sy
IDA 20052005 年出版522 页ISBN：3540287957
Lecture Notes in Artificial Intelligence 3451 Engineering Societies in the Agents World V 5th Intern
ESAW 20042005 年出版348 页ISBN：3540273301
Lecture Notes in Computer Science 3129 Advances in Web-Age Information Management 5th International
WAIM 20042004 年出版753 页ISBN：3540224181
Lecture Notes in Computer Science 3640 Peer-to-Peer Systems III 4th International Workshop
IPTPS 20052005 年出版288 页ISBN：3540290680
CHINA MASTER TAX GUIDE 2009/10 7TH EDITION
THE PROFESSIONALS FIRST CHOICE2009 年出版612 页ISBN：9881853966
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
Lecture Notes in Computer Science 2204 Graph-Theoretic Concepts in Computer Science 27th Internation
WG 2001 Boltenhagen2222 年出版0 页ISBN：
