Nicola Olivetti – författare
Visar alla böcker från författaren Nicola Olivetti. Handla med fri frakt och snabb leverans.
8 produkter
Proof Theory for Fuzzy Logics
Av George Metcalfe, Nicola Olivetti m. fl.
Inbunden, 2008
1294 kr
Lägg i varukorg
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 fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date …
Proof Theory for Fuzzy Logics
Av Dov M. Gabbay, Nicola Olivetti m. fl.
E-bok, 2008
1785 kr
Lägg i varukorg
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 fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date …
Advances in Modal Logic, Volume 13
Av Nicola Olivetti, Rineke Verbrugge m. fl.
Häftad, 2020
298 kr
Lägg i varukorg
Automated Reasoning
8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Av Nicola Olivetti, Ashish Tiwari
Häftad, 2016
893 kr
Lägg i varukorg
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 of three leading events in automated reasoning, namely CADE (International Conference on Automated …
Automated Reasoning
8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Av Ashish Tiwari, Nicola Olivetti
E-bok, 2016
1175 kr
Lägg i varukorg
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 of three leading events in automated reasoning, namely CADE (International Conference on Automated …
Automated Reasoning with Analytic Tableaux and Related Methods
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
Häftad, 2007
562 kr
Lägg i varukorg
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. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics …
Automated Reasoning with Analytic Tableaux and Related Methods
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
E-bok, 2007
734 kr
Lägg i varukorg
Proof Theory for Fuzzy Logics
Av George Metcalfe, Nicola Olivetti m. fl.
Häftad, 2010
1297 kr
Lägg i varukorg
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 fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date …
