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
_version_ 1780970007125032960
author Schreck, Pascal
Narboux, Julien
Richter-Gebert, Jürgen
author_facet Schreck, Pascal
Narboux, Julien
Richter-Gebert, Jürgen
author_sort Schreck, Pascal
collection CERN
id cern-2757728
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2011
publisher Springer
record_format invenio
spelling cern-27577282021-04-21T16:41:02Zhttp://cds.cern.ch/record/2757728engSchreck, PascalNarboux, JulienRichter-Gebert, JürgenAutomated deduction in geometry: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papersXXSpringeroai:cds.cern.ch:27577282011
spellingShingle XX
Schreck, Pascal
Narboux, Julien
Richter-Gebert, Jürgen
Automated deduction in geometry: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papers
title Automated deduction in geometry: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papers
title_full Automated deduction in geometry: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papers
title_fullStr Automated deduction in geometry: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papers
title_full_unstemmed Automated deduction in geometry: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papers
title_short Automated deduction in geometry: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papers
title_sort automated deduction in geometry: 8th international workshop, adg 2010, munich, germany, july 22-24, 2010, revised papers
topic XX
url http://cds.cern.ch/record/2757728
work_keys_str_mv AT schreckpascal automateddeductioningeometry8thinternationalworkshopadg2010munichgermanyjuly22242010revisedpapers
AT narbouxjulien automateddeductioningeometry8thinternationalworkshopadg2010munichgermanyjuly22242010revisedpapers
AT richtergebertjurgen automateddeductioningeometry8thinternationalworkshopadg2010munichgermanyjuly22242010revisedpapers

Ejemplares similares