Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 2935 Agent-Oriented Software Engineering IV 4th International Work
AOSE 20032004 年出版245 页ISBN：3540208267
Lecture Notes in Computer Science 3255 Advances in Databases and Information Systems 8th East Europe
ADBIS 20042004 年出版423 页ISBN：3540232435
Lecture Notes in Artificial Intelligence 3620 Case-Based Reasoning Research and Development 6th Inte
ICCBR 20052005 年出版654 页ISBN：3540281746
Lecture Notes in Artificial Intelligence 4259 Rough Sets and Current Trends in Computing 5th Interna
RSCTC 20062006 年出版951 页ISBN：3540476938
Lecture Notes in Computer Science 4673 Computer Analysis of Images and Patterns 12th International C
CAIP 20072007 年出版1006 页ISBN：9783540742715
Lecture Notes in Artificial Intelligence 4529 Foundations of Fuzzy Logic and Soft Computing 12th Int
IFSA 20072007 年出版830 页ISBN：9783540729174
Lecture Notes in Computer Science 4267 Autonomic Management of Mobile Multimedia Services 9th IFIP/I
MMNS 20062006 年出版257 页ISBN：3540476547
Lecture Notes in Computer Science 4519 The Semantic Web:Research and Applications 4th European Seman
ESWC 20072007 年出版832 页ISBN：9783540726661
Lecture Notes in Artificial Intelligence 4248 Managing Knowledge in a World of Networks 15th Interna
EKAW 20062006 年出版400 页ISBN：3540463631
