Cesare Tinelli

Identifiers

Open LibraryOL7319167A

Top Subjects

Computer software, development (2)
System analysis (1)
System design (1)
Artificial intelligence (1)
Computer programming (1)
Logic, symbolic and mathematical (1)

Books by Cesare Tinelli

Total count: 4

Frontiers of Combining Systems8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

Springer2011-01-01
Tools and Algorithms for the Construction and Analysis of Systems21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Springer Berlin / Heidelberg2015-01-01
Description Logic, Theory Combination, and All ThatEssays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Springer2019-06-01
Automated Deduction - CADE 2929th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Springer2023-01-01