Metcalfe, George.
概要
| 作品: | 5 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Proof theory for fuzzy logics
by:
Gabbay, Dov M.; Metcalfe, George.; Olivetti, Nicola.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
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.
(書目-電子資源)
主題
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.