Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, july 22-24, 2010, revised selected papers /

Ejemplares similares

• Automated deduction in geometry : 7th international workshop, ADG 2008, Shanghai, China, september 22-24, 2008. Revised papers /
  Publicado: (2011)
• Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, july 9-11, 2014, revised selected papers /
  Publicado: (2015)
• Automated deduction in geometry : 9th international workshop, ADG 2012, Edinburgh, UK, september 17-19, 2012. Revised selected papers /
  Publicado: (2013)
• Automated deduction - cade-25 : 25th international conference on automated deduction, Berlin, Germany, august 1-7, 2015, proceedings /
  Publicado: (2015)
• Automated deduction - CADE 24 : 24th international conference on automated deduction, Lake Placid, NY, USA, june 9-14, 2013. Proceedings /
  Publicado: (2013)