Showing 1 - 3 results of 3 for search 'Olivetti, Nicola', query time: 0.01s Refine Results
  1. 1
    Proof Theory for Fuzzy Logics
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings /
    Published 2007
    Other Authors: “…Olivetti, Nicola…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
    Published 2016
    Other Authors: “…Olivetti, Nicola…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search