Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings

Detalles Bibliográficos
Autores principales: Galmiche, Didier, Schulz, Stephan, Sebastiani, Roberto
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757121
_version_ 1780969897481732096
author Galmiche, Didier
Schulz, Stephan
Sebastiani, Roberto
author_facet Galmiche, Didier
Schulz, Stephan
Sebastiani, Roberto
author_sort Galmiche, Didier
collection CERN
id cern-2757121
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27571212021-04-21T16:41:25Zhttp://cds.cern.ch/record/2757121engGalmiche, DidierSchulz, StephanSebastiani, RobertoAutomated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27571212018
spellingShingle XX
Galmiche, Didier
Schulz, Stephan
Sebastiani, Roberto
Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings
title Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings
title_full Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings
title_fullStr Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings
title_full_unstemmed Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings
title_short Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings
title_sort automated reasoning: 9th international joint conference, ijcar 2018, held as part of the federated logic conference, floc 2018, oxford, uk, july 14-17, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2757121
work_keys_str_mv AT galmichedidier automatedreasoning9thinternationaljointconferenceijcar2018heldaspartofthefederatedlogicconferencefloc2018oxfordukjuly14172018proceedings
AT schulzstephan automatedreasoning9thinternationaljointconferenceijcar2018heldaspartofthefederatedlogicconferencefloc2018oxfordukjuly14172018proceedings
AT sebastianiroberto automatedreasoning9thinternationaljointconferenceijcar2018heldaspartofthefederatedlogicconferencefloc2018oxfordukjuly14172018proceedings

Ejemplares similares