Tallenna
Dynamic Logic. New Trends and Applications
This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017.
- Alaotsikko
- First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
- Toimittaja
- Alexandre Madeira, Mário Benevides
- Painos
- 1st ed. 2018
- ISBN
- 9783319735788
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 10.1.2018
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 201
