Home Advanced Search

Advanced Search - Page 1

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Nicola Olivetti, Ashish Tiwari (eds.)
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Piero A. Bonatti (auth.), Nicola Olivetti (eds.)
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Francesco Bullo (auth.), João P. Hespanha, Ashish Tiwari (eds.)
Goal-Directed Proof Theory
  • PDF
  • English
  • Year: 2000
  • Author: Dov M. Gabbay, N. Olivetti, Nicola Olivetti
Atlas of Imaging Anatomy
  • PDF
  • English
  • Year: 2015
  • Author: Lucio Olivetti (eds.)
Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Régis Alenda, Nicola Olivetti (auth.), Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.)
Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Régis Alenda, Nicola Olivetti (auth.), Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.)
Proof Theory for Fuzzy Logics
  • PDF
  • English
  • Year: 2008
  • Author: George Metcalfe, Nicola Olivetti, Dov Gabbay
Proof Theory for Fuzzy Logics
  • PDF
  • English
  • Year: 2009
  • Author: George Metcalfe, Nicola Olivetti, Dov Gabbay
Proof Theory for Fuzzy Logics
  • PDF
  • English
  • Year: 2008
  • Author: George Metcalfe, Nicola Olivetti, Dov Gabbay
search