Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings

Detalles Bibliográficos
Autores principales: Olivetti, Nicola, Tiwari, Ashish
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757739
_version_ 1780970009521029120
author Olivetti, Nicola
Tiwari, Ashish
author_facet Olivetti, Nicola
Tiwari, Ashish
author_sort Olivetti, Nicola
collection CERN
id cern-2757739
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27577392021-04-21T16:41:01Zhttp://cds.cern.ch/record/2757739engOlivetti, NicolaTiwari, AshishAutomated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27577392016
spellingShingle XX
Olivetti, Nicola
Tiwari, Ashish
Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings
title Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings
title_full Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings
title_fullStr Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings
title_full_unstemmed Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings
title_short Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings
title_sort automated reasoning: 8th international joint conference, ijcar 2016, coimbra, portugal, june 27 - july 2, 2016, proceedings
topic XX
url http://cds.cern.ch/record/2757739
work_keys_str_mv AT olivettinicola automatedreasoning8thinternationaljointconferenceijcar2016coimbraportugaljune27july22016proceedings
AT tiwariashish automatedreasoning8thinternationaljointconferenceijcar2016coimbraportugaljune27july22016proceedings

Ejemplares similares