ISBN 3030388077 books & textbook
Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Theoretical Computer Science and General Issues)
Soares Barbosa, Luís Baltag, Alexandru
Springer /2020-01-14 Paperback / 240 Pages
isbn-10: 3030388077 / isbn-13: 9783030388072
