3 E-böcker av 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
Engelska
€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 t …
PDF
Engelska
DRM
€89.69
Nicola Olivetti: Automated Reasoning with Analytic Tableaux and Related Methods
…
PDF
Engelska
DRM
€57.94
