Lecture Notes in Computer Science 2940 Software Engineering for Multi-Agent Systems II Research Issu
2004 年出版278 页ISBN：3540211829
Lecture Notes in Computer Science 4278 On the Move to Meaningful Internet Systems 2006:OTM 2006 Work
2006 年出版2013 页ISBN：3540482733
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
Lecture Notes in Computer Science 2900 CASL User Manual Introduction to Using the Common Algebraic S
2004 年出版240 页ISBN：354020766X
Lecture Notes in Computer Science 3113 Theory Is Forever Essays Dedicated to Arto Salomaa on The Occ
2004 年出版283 页ISBN：3540223932
Lecture Notes in Artificial Intelligence 4013 Advances in Artificial Intelligence 19th Conference of
Canadian AI 20062006 年出版564 页ISBN：3540346287
Lecture Notes in Artificial Intelligence 3060 Advances in Artificial Intelligence 17th Conference of
Canadian AI 20042004 年出版582 页ISBN：3540220046
