top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
   

Espandi
Riduci



Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers Università degli Studi di Salerno Università degli Studi di Napoli Federico II
Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers Università degli Studi di Napoli Federico II
Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers Università degli Studi di Salerno Università degli Studi di Napoli Federico II
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers Università degli Studi di Salerno
Automated deduction in geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, revised papers Università degli Studi di Salerno Università degli Studi di Napoli Federico II
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers Università degli Studi di Salerno
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers Università degli Studi di Napoli Federico II Università degli Studi di Salerno
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers Università degli Studi di Salerno
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers Università degli Studi di Napoli Federico II Università degli Studi di Salerno
Automated Deduction in Geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers Università degli Studi di Salerno Università degli Studi di Napoli Federico II
Automated deduction in geometry Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings Università degli Studi di Napoli Federico II Università degli Studi di Salerno
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers Università degli Studi di Napoli Federico II