Languages
Olivetti, Nicola.
Overview
| Works: | 3 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Proof theory for fuzzy logics
by:
Gabbay, Dov M.; Metcalfe, George.; Olivetti, Nicola.; SpringerLink (Online service)
(Electronic resources)
Automated reasoning8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
(1998 :); Olivetti, Nicola.; SpringerLink (Online service); Tiwari, Ashish.
(Electronic resources)
Subjects
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.