Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings

Detalles Bibliográficos
Autores principales: Demri, Stéphane, Kapur, Deepak, Weidenbach, Christoph
Lenguaje:eng
Publicado: Springer International Publishing AG 2014
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761360
_version_ 1780970502697779200
author Demri, Stéphane
Kapur, Deepak
Weidenbach, Christoph
Demri, Stéphane
author_facet Demri, Stéphane
Kapur, Deepak
Weidenbach, Christoph
Demri, Stéphane
author_sort Demri, Stéphane
collection CERN
id cern-2761360
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2014
publisher Springer International Publishing AG
record_format invenio
spelling cern-27613602021-04-21T16:39:43Zhttp://cds.cern.ch/record/2761360engDemri, StéphaneKapur, DeepakWeidenbach, ChristophDemri, StéphaneAutomated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27613602014
spellingShingle XX
Demri, Stéphane
Kapur, Deepak
Weidenbach, Christoph
Demri, Stéphane
Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings
title Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings
title_full Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings
title_fullStr Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings
title_full_unstemmed Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings
title_short Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings
title_sort automated reasoning: 7th international joint conference, ijcar 2014, held as part of the vienna summer of logic, vienna, austria, july 19-22, 2014, proceedings
topic XX
url http://cds.cern.ch/record/2761360
work_keys_str_mv AT demristephane automatedreasoning7thinternationaljointconferenceijcar2014heldaspartoftheviennasummeroflogicviennaaustriajuly19222014proceedings
AT kapurdeepak automatedreasoning7thinternationaljointconferenceijcar2014heldaspartoftheviennasummeroflogicviennaaustriajuly19222014proceedings
AT weidenbachchristoph automatedreasoning7thinternationaljointconferenceijcar2014heldaspartoftheviennasummeroflogicviennaaustriajuly19222014proceedings
AT demristephane automatedreasoning7thinternationaljointconferenceijcar2014heldaspartoftheviennasummeroflogicviennaaustriajuly19222014proceedings

Ejemplares similares