Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, july 22-24, 2010, revised selected papers /
Formato: | Libro |
---|---|
Publicado: |
c2011.
|
Acceso en línea: | Ver documento en línea |
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)