nicola olivetti

Grid   List

  1. Proof Theory for Fuzzy Logics
    Proof Theory for Fuzzy Logics
    George Metcalfe
    Springer Netherlands
    Ebook
    Sofort lieferbar
    Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzz...
    117,69 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Automated Reasoning
    Automated Reasoning
    Nicola Olivetti
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in top...
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Automated Reasoning with Analytic Tableaux and Related Methods
    Automated Reasoning with Analytic Tableaux and Related Methods
    Nicola Olivetti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Advances in Modal Logic, Volume 13
    Advances in Modal Logic, Volume 13
    Nicola Olivetti
    College Publications
    Taschenbuch
    Bezug 6-10
    Logic deals with the fundamental notions of truth and falsity. Modal logic arose from thephilosophical study of 'modes of truth' with the two most common modes being 'necessarilytrue' and 'possi...
    39,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Automated Reasoning
    Automated Reasoning
    Ashish Tiwari
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June July 2016. IJCAR 2014 was a merger...
    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Proof Theory for Fuzzy Logics
    Proof Theory for Fuzzy Logics
    George Metcalfe
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    Bezug 11-15
    Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as f...
    148,82 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Proof Theory for Fuzzy Logics
    Proof Theory for Fuzzy Logics
    George Metcalfe
    Springer
    Buch
    Bezug 11-15
    Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as f...
    148,82 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Automated Reasoning with Analytic Tableaux and Related Methods
    Automated Reasoning with Analytic Tableaux and Related Methods
    Nicola Olivetti
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, Fra...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>