Home › Authors › Cesare Tinelli 👤 Cesare Tinelli 3 books Books by Cesare Tinelli Automated Deduction - CADE 29 Automated Deduction - CADE 29 2023 Description Logic, Theory Combination, and All That 2019 Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011 2011