TY  - BOOK
AU  - Luís Soares Barbosa, Alexandru Baltag.
TI  - Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
SN  - 9783030388089
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Computer logic. Special purpose computers. Architecture, Computer. Artificial intelligence. Software engineering. Programming languages (Electronic computers). Logics and Meanings of Programs. Special Purpose and Application-Based Systems. Computer System Implementation. Logic in AI. Software Engineering. Programming Languages, Compilers, Interpreters
UR  - https://doi.org/10.1007/978-3-030-38808-9
ER  -