放大镜
搜索加载器

作者: George Metcalfe

支持

2 电子书 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 …
PDF
英语
DRM
€56.41