Ricardo Caferra

Logic For Computer Science And Artificial Intelligence

Logique Pour L'informatique Et Pour L'intelligence Artificielle

Automated Deduction In Classical And Non-Classical Logics

Automated Model Building