Languages
Olivetti, Nicola.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Goal-directed proof theory /
by:
Olivetti, Nicola.; Gabbay, Dov M., (1945-)
(Language materials, printed)
Proof theory for fuzzy logics
by:
Gabbay, Dov M.; Olivetti, Nicola.; SpringerLink (Online service); Metcalfe, George.
(Language materials, printed)
Automated reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
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.