Home > Authors > Ricardo Caferra

Ricardo Caferra

All books by Ricardo Caferra

(Displaying 2 Books)

Automated deduction in classical and non-classical logics

Automated deduction in classical and non-classical logics

Ricardo Caferra

Logic for computer science and artificial intelligence

Logic for computer science and artificial intelligence

Ricardo Caferra

Looking for another book by Ricardo Caferra? Search for the book by title.