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

Detalles Bibliográficos
Autores principales: Schreck, Pascal, Narboux, Julien, Richter-Gebert, Jürgen
Lenguaje:eng
Publicado: Springer 2011
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757728

Internet

http://cds.cern.ch/record/2757728

Ejemplares similares