Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings

Detalles Bibliográficos
Autor principal: Fontaine, Pascal
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755238
_version_ 1780969595558952960
author Fontaine, Pascal
author_facet Fontaine, Pascal
author_sort Fontaine, Pascal
collection CERN
id cern-2755238
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer International Publishing AG
record_format invenio
spelling cern-27552382021-04-21T16:42:40Zhttp://cds.cern.ch/record/2755238engFontaine, PascalAutomated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27552382019
spellingShingle XX
Fontaine, Pascal
Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings
title Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings
title_full Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings
title_fullStr Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings
title_full_unstemmed Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings
title_short Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings
title_sort automated deduction - cade 27: 27th international conference on automated deduction, natal, brazil, august 27-30, 2019, proceedings
topic XX
url http://cds.cern.ch/record/2755238
work_keys_str_mv AT fontainepascal automateddeductioncade2727thinternationalconferenceonautomateddeductionnatalbrazilaugust27302019proceedings

Ejemplares similares