Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings

Detalles Bibliográficos
Autores principales: Avigad, Jeremy, Mahboubi, Assia
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764139
_version_ 1780971064089640960
author Avigad, Jeremy
Mahboubi, Assia
author_facet Avigad, Jeremy
Mahboubi, Assia
author_sort Avigad, Jeremy
collection CERN
id cern-2764139
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27641392021-04-21T16:38:16Zhttp://cds.cern.ch/record/2764139engAvigad, JeremyMahboubi, AssiaInteractive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27641392018
spellingShingle XX
Avigad, Jeremy
Mahboubi, Assia
Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
title Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
title_full Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
title_fullStr Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
title_full_unstemmed Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
title_short Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
title_sort interactive theorem proving: 9th international conference, itp 2018, held as part of the federated logic conference, floc 2018, oxford, uk, july 9-12, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2764139
work_keys_str_mv AT avigadjeremy interactivetheoremproving9thinternationalconferenceitp2018heldaspartofthefederatedlogicconferencefloc2018oxfordukjuly9122018proceedings
AT mahboubiassia interactivetheoremproving9thinternationalconferenceitp2018heldaspartofthefederatedlogicconferencefloc2018oxfordukjuly9122018proceedings

Ejemplares similares