Ricardo Caferra

1945

• Automated deduction in classical and non-classical logics
• Logic for computer science and artificial intelligence