Showing 1 - 3 results of 3 for search 'Tinelli, Cesare', query time: 0.02s Refine Results
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems 21st 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 /
    Published 2015
    Other Authors: “…Tinelli, Cesare…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings /
    Published 2011
    Other Authors: “…Tinelli, Cesare…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday /
    Published 2019
    Other Authors: “…Tinelli, Cesare…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search