Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
Lecture Notes in Computer Science 4159 Ubiquitous Intelligence and Computing Third International Con
UIC 20062006 年出版1190 页ISBN：3540380914
Lecture Notes in Computer Science 3179 Articulated Motion and Deformable Objects Third International
AMDO 20042004 年出版270 页ISBN：3540229582
Lecture Notes in Computer Science 4672 Network and Parallel Computing IFIP International Conference
NPC 20072007 年出版558 页ISBN：9783540747833
Lecture Notes in Computer Science 3816 Distributed Computing and Internet Technology Second Internat
ICDCIT 20052005 年出版606 页ISBN：3540309993
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
Lecture Notes in Computer Science 3162 Parameterized and Exact Computation First International Works
IWPEC 20042004 年出版293 页ISBN：3540230718
Lecture Notes in Computer Science 4564 Online Communities and Social Computing Second International
OCSC 20072007 年出版520 页ISBN：9783540732563
Lecture Notes in Computer Science 4169 Parameterized and Exact Computation Second International Work
IWPEC 20062006 年出版279 页ISBN：3540390987
Lecture Notes in Artificial Intelligence 4481 Rough Sets and Knowledge Technology Second Internation
RSKT 20072007 年出版576 页ISBN：9783540724575
