Dynamic Logic. New Trends and Applications
Dynamic Logic. New Trends and Applications
First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Madeira, Alexandre; Benevides, Mario
Springer International Publishing AG
01/2018
201
Mole
Inglês
9783319735788
15 a 20 dias
454