Home Advanced Search

Advanced Search - Page 1

Logique pour l'informatique et pour l'intelligence artificielle
  • DJVU
  • French
  • Year: 2010
  • Author: Ricardo Caferra
Logic for computer science and artificial intelligence
  • PDF
  • English
  • Year: 2011
  • Author: Caferra, Ricardo
Logic for Computer Science and Artificial Intelligence
  • PDF
  • English
  • Year: 2011
  • Author: Ricardo Caferra
Logic for Computer Science and Artificial Intelligence
  • PDF
  • English
  • Author: Ricardo Caferra(auth.)
Automated deduction in classical and non-classical logics: selected papers
  • PDF
  • English
  • Year: 2000
  • Author: Ricardo Caferra, Gernot Salzer
Automated Model Building
  • PDF
  • English
  • Year: 2004
  • Author: Ricardo Caferra, Alexander Leitsch, Nicholas Peltier
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Gilles Dowek (auth.), Ricardo Caferra, Gernot Salzer (eds.)
Fundamentals of Artificial Intelligence Research: International Workshop FAIR '91 Smolenice, Czechoslovakia, September 8–13, 1991 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Ricardo Caferra, Michel Herment (auth.), Philippe Jorrand, Jozef Kelemen (eds.)
Gerenciamento de Projetos - Estabelecendo Diferenciais Competitivos
  • EPUB
  • Portuguese
  • Year: 2009
  • Author: Ricardo Vargas [Vargas, Ricardo]
Report of the International Narcotics Control Board for 2007
  • EPUB
  • English
  • Year: 2008
  • Author: Ricardo Cortés
search