👤

Cesare Tinelli

3 books

Books by Cesare Tinelli

Automated Deduction - CADE 29
Automated Deduction - CADE 29
2023
Description Logic, Theory Combination, and All That
Description Logic, Theory Combination, and All That
2019
Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011
Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011
2011