Cover of Automated Model Building

Mark as

Automated Model Building

by Ricardo Caferra

Buy this book
Add to a list
Review

See on goodreads

More by Ricardo Caferra

Computational logic and proof theory

by Georg Gottlob

Cover of Computational logic and proof theory
Review
Buy this book More books like Computational logic and proof theory

The resolution calculus

by Alexander Leitsch

Cover of The resolution calculus
Review
Buy this book More books like The resolution calculus

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment