Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers Wang Dongming Heftet / 1998 / Engelsk
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers Hong Hoon Heftet / 2006 / Engelsk
Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers Richter-Gebert, Jürgen Heftet / 2001 / Engelsk
Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings Fleuriot Jacques Heftet / 2018 / Engelsk
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings Calmet Jaques Heftet / 2006 / Engelsk
Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings Gao, Xiao-lu Heftet / 1999 / Engelsk
