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 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
Lecture Notes in Computer Science 3079 High Speed Networks and Multimedia Communications 7th IEEE In
HSNM 20042004 年出版1103 页ISBN：3540222626
Lecture Notes in Artificial Intelligence 3963 Engineering Societies in the Agents World VI 6th Inter
ESAW 20052006 年出版303 页ISBN：3540344519
Lecture Notes in Computer Science 3646 Advances in Intelligent Data Analysis VI 6th International Sy
IDA 20052005 年出版522 页ISBN：3540287957
Lecture Notes in Computer Science 3271 Management of Multimedia Networks and Services 7th IFIP/IEEE
MMNS 20042004 年出版335 页ISBN：3540232397
Lecture Notes in Artificial Intelligence 4457 Engineering Societies in the Agents World VII 7th Inte
ESAW 20062007 年出版401 页ISBN：9783540755227
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
