Automated Deduction in Geometry 6th International Workshop
ADG 20062007 年出版213 页ISBN：9783540773559
Automated Deduction in Geometry 4th International Workshop
ADG 20022004 年出版234 页ISBN：3540209271
Automated Deduction in Geometry 5th International Workshop
ADG 20042006 年出版216 页ISBN：354031332X
Lecture Notes in Artificial Intelligence 449 10th International Conference on Automated Deduction
M.E.Stickel1990 年出版688 页ISBN：
Lecture Notes in Bioinformatics 4175 Algorithms in Bioinformatics 6th International Workshop
WABI 20062006 年出版402 页ISBN：3540395830
Lecture Notes in Computer Science 4525 Experimental Algorithms 6th International Workshop
WEA 20072007 年出版448 页ISBN：9783540728443
Lecture Notes in Computer Science 3850 Membrane Computing 6th International Workshop
WMC 20052006 年出版370 页ISBN：3540309489
Lecture Notes in Computer Science 3200 Information Hiding 6th International Workshop
IH 20042004 年出版371 页ISBN：3540242074
