Olivetti, Nicola books & textbook
Goal-Directed Proof Theory (Applied Logic Series Volume 21) (Applied Logic Series, 21)
Gabbay, Dov M. Olivetti, N. Olivetti, Nicola
Springer /2000-08-31 Hardcover / 276 Pages
isbn-10: 0792364732 / isbn-13: 9780792364733
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings (Lecture Notes in Artificial Intelligence)
Olivetti, Nicola Tiwari, Ashish
Springer /2016-06-12 Paperback / 600 Pages
isbn-10: 3319402285 / isbn-13: 9783319402284
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... (Lecture Notes in Computer Science, 4548)
Springer /2007-06-21 Paperback / 260 Pages
isbn-10: 3540730982 / isbn-13: 9783540730989
Proof Theory for Fuzzy Logics (Applied Logic Series, 36)
Metcalfe, George Olivetti, Nicola Gabbay, Dov M.
Springer /2010-10-22 Paperback / 284 Pages
isbn-10: 9048181216 / isbn-13: 9789048181216
Advances in Modal Logic, Volume 13
Olivetti, Nicola Verbrugge, Rineke Negri, Sara
College Publications /2020-07-20 Paperback / 626 Pages
isbn-10: 1848903413 / isbn-13: 9781848903418
