3 Ebooks by Nicola Olivetti
George Metcalfe & Nicola Olivetti: Proof Theory for Fuzzy Logics
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 …
PDF
English
€117.69
Nicola Olivetti & Ashish Tiwari: Automated Reasoning
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 …
PDF
English
DRM
€87.40
Nicola Olivetti: Automated Reasoning with Analytic Tableaux and Related Methods
…
PDF
English
DRM
€56.41
