Metcalfe, George.
Overview
| Works: | 5 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Proof theory for fuzzy logics
by:
Gabbay, Dov M.; Metcalfe, George.; Olivetti, Nicola.; SpringerLink (Online service)
(Electronic resources)
Automated reasoning with analytic tableaux and related methods20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
by:
(1998 :); Brunnler, Kai.; Metcalfe, George.; SpringerLink (Online service)
(Electronic resources)
Logic, language, information, and computation30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024 : proceedings /
by:
(1998 :); Metcalfe, George.; SpringerLink (Online service); Studer, Thomas.; de Queiroz, Ruy.
(Electronic resources)
Subjects
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Software Engineering.
Fuzzy logic.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Programming Techniques.
Mathematics.
Language and logic
Proof theory.
Order, Lattices, Ordered Algebraic Structures.
Artificial Intelligence.
Computer Science.
Logic, Symbolic and mathematical
Computer Hardware.