Automated reasoning with analytic tableaux and related methods: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019, proceedings

Detalles Bibliográficos
Autores principales: Cerrito, Serenella, Popescu, Andrei
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755590
_version_ 1780969670830981120
author Cerrito, Serenella
Popescu, Andrei
author_facet Cerrito, Serenella
Popescu, Andrei
author_sort Cerrito, Serenella
collection CERN
id cern-2755590
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer International Publishing AG
record_format invenio
spelling cern-27555902021-04-21T16:42:19Zhttp://cds.cern.ch/record/2755590engCerrito, SerenellaPopescu, AndreiAutomated reasoning with analytic tableaux and related methods: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27555902019
spellingShingle XX
Cerrito, Serenella
Popescu, Andrei
Automated reasoning with analytic tableaux and related methods: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019, proceedings
title Automated reasoning with analytic tableaux and related methods: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019, proceedings
title_full Automated reasoning with analytic tableaux and related methods: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019, proceedings
title_fullStr Automated reasoning with analytic tableaux and related methods: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019, proceedings
title_full_unstemmed Automated reasoning with analytic tableaux and related methods: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019, proceedings
title_short Automated reasoning with analytic tableaux and related methods: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019, proceedings
title_sort automated reasoning with analytic tableaux and related methods: 28th international conference, tableaux 2019, london, uk, september 3-5, 2019, proceedings
topic XX
url http://cds.cern.ch/record/2755590
work_keys_str_mv AT cerritoserenella automatedreasoningwithanalytictableauxandrelatedmethods28thinternationalconferencetableaux2019londonukseptember352019proceedings
AT popescuandrei automatedreasoningwithanalytictableauxandrelatedmethods28thinternationalconferencetableaux2019londonukseptember352019proceedings

Ejemplares similares