Cargando…
Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer International Publishing AG
2018
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2761217 |
| _version_ | 1780970471422951424 |
|---|---|
| author | Madeira, Alexandre Benevides, Mário |
| author_facet | Madeira, Alexandre Benevides, Mário |
| author_sort | Madeira, Alexandre |
| collection | CERN |
| id | cern-2761217 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2018 |
| publisher | Springer International Publishing AG |
| record_format | invenio |
| spelling | cern-27612172021-04-21T16:39:49Zhttp://cds.cern.ch/record/2761217engMadeira, AlexandreBenevides, MárioDynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedingsComputing and ComputersSpringer International Publishing AGoai:cds.cern.ch:27612172018 |
| spellingShingle | Computing and Computers Madeira, Alexandre Benevides, Mário Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings |
| title | Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings |
| title_full | Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings |
| title_fullStr | Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings |
| title_full_unstemmed | Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings |
| title_short | Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings |
| title_sort | dynamic logic new trends and applications: first international workshop, dali 2017, brasilia, brazil, september 23-24, 2017, proceedings |
| topic | Computing and Computers |
| url | http://cds.cern.ch/record/2761217 |
| work_keys_str_mv | AT madeiraalexandre dynamiclogicnewtrendsandapplicationsfirstinternationalworkshopdali2017brasiliabrazilseptember23242017proceedings AT benevidesmario dynamiclogicnewtrendsandapplicationsfirstinternationalworkshopdali2017brasiliabrazilseptember23242017proceedings |