Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers /

Detalles Bibliográficos
Formato: Libro
Lenguaje:English
Publicado: c2020.
Acceso en línea:Ver documento en línea
LEADER 00659nam a2200133 a 4500
001 000740647
005 20250122154925.0
020 |a 9783030658403  |q (ebook) 
040 |a Sistema de Bibliotecas de Universidad de Costa Rica  
041 |a eng 
245 1 0 |a Dynamic Logic. New Trends and Applications :  |b Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers /  |c Manuel A. Martins; Igor Sedlár. 
260 |c c2020. 
506 |a Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional 
856 4 1 |u https://springerlink.proxyucr.elogim.com/book/10.1007/978-3-030-65840-3  |y Ver documento en línea