Marcello Bonsangue

Books
Artificial Intelligence Logic and Applications Artificial Intelligence Logic and Applications
Artificial Intelligence Logic and Applications
2026
Data Science and Artificial Intelligence Data Science and Artificial Intelligence
Data Science and Artificial Intelligence
2025
It's All About Coordination It's All About Coordination
It's All About Coordination
2018
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
Theory and Practice of Formal Methods
2016