語系
Olivetti, Nicola.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Proof theory for fuzzy logics
by:
Olivetti, Nicola.; SpringerLink (Online service); Gabbay, Dov M.; Metcalfe, George.
(書目-語言資料,印刷品)
Automated reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
Olivetti, Nicola.; SpringerLink (Online service); Tiwari, Ashish.
(書目-電子資源)
主題
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Software Engineering.
Fuzzy logic.
Logics and Meanings of Programs.
Mathematics of Computing.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Mathematics.
Computer logic
Programming Languages, Compilers, Interpreters.
Proof theory.
Order, Lattices, Ordered Algebraic Structures.
Computer Science.