Clicky

Automated Model Building by Ricardo Caferra and similar books you'll love - Bookscovery

Home > Authors > Ricardo Caferra > Automated Model Building

Buy at: Bookshop.org Amazon

See on goodreads

Recent activity

Rate this book to see your activity here.

2 Books Similar to Automated Model Building by Ricardo Caferra

Bookscovery readers who liked Automated Model Building also like Computational logic and proof theory, and The resolution calculus. How many of these have you read?

Computational logic and proof theory by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

Cover of Computational logic and proof theory
Buy this book at:
Bookshop.org Amazon

The resolution calculus by Alexander Leitsch

Cover of The resolution calculus
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Automated Model Building

Please sign in to leave a comment