Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers

Detalles Bibliográficos
Autores principales: Botana, Francisco, Quaresma, Pedro
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757570
_version_ 1780969965486080000
author Botana, Francisco
Quaresma, Pedro
author_facet Botana, Francisco
Quaresma, Pedro
author_sort Botana, Francisco
collection CERN
id cern-2757570
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27575702021-04-21T16:41:10Zhttp://cds.cern.ch/record/2757570engBotana, FranciscoQuaresma, PedroAutomated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27575702015
spellingShingle XX
Botana, Francisco
Quaresma, Pedro
Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers
title Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers
title_full Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers
title_fullStr Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers
title_full_unstemmed Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers
title_short Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers
title_sort automated deduction in geometry: 10th international workshop, adg 2014, coimbra, portugal, july 9-11, 2014, revised selected papers
topic XX
url http://cds.cern.ch/record/2757570
work_keys_str_mv AT botanafrancisco automateddeductioningeometry10thinternationalworkshopadg2014coimbraportugaljuly9112014revisedselectedpapers
AT quaresmapedro automateddeductioningeometry10thinternationalworkshopadg2014coimbraportugaljuly9112014revisedselectedpapers

Ejemplares similares