کتاب های Ricardo Caferra
Logique pour l'informatique et pour l'intelligence artificielle
Ricardo Caferra, 2010
Logique pour l'informatique et pour l'intelligence artificielle
Ricardo Caferra, 2010
Logic for Computer Science and Artificial Intelligence
Ricardo Caferra, 2011
Logic for Computer Science and Artificial Intelligence
Ricardo Caferra(auth.)
Automated Model Building
Ricardo Caferra, 2004
Automated deduction in classical and non-classical logics: selected papers
Ricardo Caferra, 2000
