Nicola Olivetti

Identifiers

Open LibraryOL2784596A

Top Subjects

Automatic theorem proving (2)
Mathematics (1)
Proof theory (1)
Applied (1)
General (1)
Mathematics-Applied (1)
Logic (1)

Books by Nicola Olivetti

Total count: 4

Goal-Directed Proof Theory (Applied Logic Series Volume 21)1 edition

Springer2000-08-31
Automated Reasoning with Analytic Tableaux and Related Methods16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

Springer London, Limited2007-01-01
Proof Theory for Fuzzy Logics

Springer Netherlands2010-01-01
Automated Reasoning8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Springer London, Limited2016-01-01