Automated Model Building
Automated Model Building
Ricardo Caferra
Details
OL Work ID
OL20668033W
Subjects
Automatic theorem proving
Logic, symbolic and mathematical
Logic
Philosophy
Philosophy (General)
Symbolic and mathematical Logic
Mathematical Logic and Foundations
Find this book
Open Library