MPG.eBooks - Author Search Results

Cover Image

1

Proof Theory for Fuzzy Logics

by Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M.
Published 2009

Springer Netherlands

Cover Image

2

Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Olivetti, Nicola...”

Cover Image

3

Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Published 2016

Springer International Publishing

Other Authors: “...Olivetti, Nicola...”