Search Results

1 - 3 of 3 results for "Olivetti, Nicola"

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

Automated Reasoning with Analytic Tableaux and Related Methods

16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

US$84.99

This book constitutes the refereed proceedings of the 16th International Conference on Automated...

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

Automated Reasoning

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

This book constitutes the refereed proceedings of the 8th International Joint Conference on...

Proof Theory for Fuzzy Logics
US$139.00

This accessible and up-to-date introduction to fuzzy logics focuses on the development and...