adg 2006: Automated Deduction in Geometry 2006

in ,

Call for Papers