Reading Length
Home
Speed Tests
Login
Ricardo Caferra
Identifiers
Open Library
OL3257932A
Top Subjects
Architectural models (1)
Books by Ricardo Caferra
Total count: 4
Automated Deduction in Classical and Non-Classical Logics
Selected Papers
Springer
2003-01-01
Automated Model Building
Springer London, Limited
2004-01-01
Automated Model Building
Springer
2010-12-06
Logic for Computer Science and Artificial Intelligence
Wiley & Sons, Incorporated, John
2011-01-01
