Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings

Detalles Bibliográficos
Autores principales: Soares Barbosa, Luís, Baltag, Alexandru
Lenguaje:eng
Publicado: Springer International Publishing AG 2020
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2760754

Internet

http://cds.cern.ch/record/2760754

Ejemplares similares