George Metcalfe – författare
Visar alla böcker från författaren George Metcalfe. Handla med fri frakt och snabb leverans.
10 produkter
Proof Theory for Fuzzy Logics
Av George Metcalfe, Nicola Olivetti m. fl.
Inbunden, 2008
1315 kr
Lägg i varukorg
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 control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date …
Proof Theory for Fuzzy Logics
Av Dov M. Gabbay, Nicola Olivetti m. fl.
E-bok, 2008
1785 kr
Lägg i varukorg
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 control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date …
Residuated Structures in Algebra and Logic
Av George Metcalfe, Francesco Paoli m. fl.
Häftad, 2023
1688 kr
Lägg i varukorg
This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structures from classical abstract algebra such as lattice-ordered groups and ideals of rings, as well as structures serving as algebraic …
Advances in Modal Logic, Volume 12
Av Guran Bezhanishvili, Giovanna D'Agostino m. fl.
Häftad, 2018
312 kr
Lägg i varukorg
Logic, Language, Information, and Computation
30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings
Av George Metcalfe, Thomas Studer m. fl.
Häftad, 2024
736 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10–13, 2024.The 18 full …
Logic, Language, Information, and Computation
30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings
Av Ruy de Queiroz, Thomas Studer m. fl.
E-bok, 2024
903 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10–13, 2024. The 18 full …
Automated Reasoning with Analytic Tableaux and Related Methods
20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Av Kai Brünnler, George Metcalfe
Häftad, 2011
569 kr
Lägg i varukorg
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 July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully …
Automated Reasoning with Analytic Tableaux and Related Methods
20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Av George Metcalfe, Kai Brunnler
E-bok, 2011
755 kr
Lägg i varukorg
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 July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully …
Proof Theory for Fuzzy Logics
Av George Metcalfe, Nicola Olivetti m. fl.
Häftad, 2010
1316 kr
Lägg i varukorg
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 control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date …
