2 Ebooks by George Metcalfe
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
Kai Brunnler & George Metcalfe: Automated Reasoning with Analytic Tableaux and Related Methods
This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in …
PDF
English
DRM
€56.41
