Ricardo Caferra
Ricardo Caferra
4 ספרים במאגר
ספרים
Automated Model BuildingRicardo Caferra
Automated Model Building
Ricardo Caferra · 2004
Logic for Computer Science and Artificial IntelligenceRicardo Caferra
Logic for Computer Science and Artificial Intelligence
Ricardo Caferra · 2013
Automated Model BuildingRicardo Caferra
Automated Model Building
Ricardo Caferra · 2010
Automated Deduction in Classical and Non-Classical LogicsRicardo Caferra
Automated Deduction in Classical and Non-Classical Logics
Ricardo Caferra · 2003