Showing 1 - 3 results of 3 for search 'Sebastiani, Roberto', query time: 0.04s Refine Results
  1. 1
    Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /
    Published 2009
    Other Authors: “…Sebastiani, Roberto…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
    Published 2012
    Other Authors: “…Sebastiani, Roberto…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
    Published 2018
    Other Authors: “…Sebastiani, Roberto…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search