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.)
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 M. Gabbay
Professione TSRM: Norme e conoscenze essenziali
  • PDF
  • Italian
  • Year: 2013
  • Author: Lucio Olivetti, Camillo Rossi (auth.), Lucio Olivetti (eds.)
Synthesis of Medicinal Agents from Plants
  • PDF
  • English
  • Year: 2018
  • Author: Ashish Tewari (editor), Supriya Tiwari (editor)
search