Languages
Metcalfe, George.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Proof theory for fuzzy logics
by:
Gabbay, Dov M.; SpringerLink (Online service); Metcalfe, George.; Olivetti, Nicola.
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
by:
Metcalfe, George.; Workshop on the Preservation of Stability under Discretization ((2001 :); Brunnler, Kai.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Mathematics.
Automatic theorem proving
Fuzzy logic.
Logic.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Order, Lattices, Ordered Algebraic Structures.
Proof theory.
Programming Techniques.
Computer Science.