مؤلف: George Metcalfe

الدعم

3 كتب إلكترونية بواسطة 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
الإنجليزية
€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 Jul …
PDF
الإنجليزية
DRM
€57.90
George Metcalfe & Ruy de Queiroz: Logic, Language, Information, and Computation
Edited in collaboration with Fo LLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Informati …
EPUB
الإنجليزية
DRM
€64.20