adg 1997: Automated Deduction in Geometry 1997

in ,

Call for Papers