Automated Deduction in Geometry 5th International Workshop
ADG 20042006 年出版216 页ISBN:354031332X
Automated Deduction in Geometry 4th International Workshop
ADG 20022004 年出版234 页ISBN:3540209271
Automated Deduction in Geometry 6th International Workshop
ADG 20062007 年出版213 页ISBN:9783540773559
DESIGN AND EVALUATION OF HUMAN-MACHINE SYSEMS 2004(HMS04)2005 年出版409 页ISBN: