Automated Deduction in Geometry (ADG)
9. ADG 2012: Edinburgh, UK
Tetsuo Ida, Jacques D. Fleuriot (Eds.): Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers. Springer 2013 Lecture Notes in Computer Science 7993 ISBN 978-3-642-40671-3 [ contents ]
8. ADG 2010: Munich, Germany
- Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (Eds.): Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science 6877 ISBN 978-3-642-25069-9 [ contents ]
7. ADG 2008: Shanghai, China
- Thomas Sturm, Christoph Zengler (Eds.): Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers. Springer 2011 Lecture Notes in Computer Science 6301 ISBN 978-3-642-21045-7 [ contents ]
6. ADG 2006: Pontevedra, Spain
- Francisco Botana, Tomás Recio (Eds.): Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Springer 2007 Lecture Notes in Computer Science 4869 ISBN 978-3-540-77355-9 [ contents ]
5. ADG 2004: Gainesville, FL, USA
- Hoon Hong, Dongming Wang (Eds.): Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Springer 2006 Lecture Notes in Computer Science 3763 ISBN 3-540-31332-X [ contents ]
4. ADG 2002: Hagenberg Castle, Austria
- Franz Winkler (Ed.): Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers. Springer 2004 Lecture Notes in Computer Science 2930 ISBN 3-540-20927-1 [ contents ]
3. ADG 2000: Zurich, Switzerland
- Jürgen Richter-Gebert, Dongming Wang (Eds.): Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers. Springer 2001 Lecture Notes in Computer Science 2061 ISBN 3-540-42598-5 [ contents ]
2. ADG 1998: Beijing, China
- Xiao-Shan Gao, Dongming Wang, Lu Yang (Eds.): Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings. Springer 1999 Lecture Notes in Computer Science 1669 ISBN 3-540-66672-9 [ contents ]
1. ADG 1996: Toulouse, France
- Dongming Wang (Ed.): Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers. Springer 1997 Lecture Notes in Computer Science 1360 ISBN 3-540-64297-8 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team