کتاب های Ricardo Caferra
![Logique pour l'informatique et pour l'intelligence artificielle](http://cdn.ketabkoo.com/covers/0/71516-n.jpg)
Logique pour l'informatique et pour l'intelligence artificielle
Ricardo Caferra, 2010![Logique pour l'informatique et pour l'intelligence artificielle](http://cdn.ketabkoo.com/covers/0/71517-n.jpg)
Logique pour l'informatique et pour l'intelligence artificielle
Ricardo Caferra, 2010![Logic for Computer Science and Artificial Intelligence](http://cdn.ketabkoo.com/covers/5/588639-n.jpg)
Logic for Computer Science and Artificial Intelligence
Ricardo Caferra, 2011![Logic for Computer Science and Artificial Intelligence](http://cdn.ketabkoo.com/covers/7/741982-n.jpg)
Logic for Computer Science and Artificial Intelligence
Ricardo Caferra(auth.)![Automated Model Building](http://cdn.ketabkoo.com/covers/8/800241-n.jpg)
Automated Model Building
Ricardo Caferra, 2004![Automated deduction in classical and non-classical logics: selected papers](http://cdn.ketabkoo.com/covers/8/849017-n.jpg)
Automated deduction in classical and non-classical logics: selected papers
Ricardo Caferra, 2000![Automated Model Building](http://cdn.ketabkoo.com/covers/16/1622116-n.jpg)