Luís Soares Barbosa, Alexandru Baltag. <br/><br/>
Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030388089 
<br/><br/><label>Subjects--Topical Terms: </label><br/>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.