Join Books.org — it's free
Home > Books > Automated Reasoning with Otter

Artificial Intelligence - General, Logic & Foundations of Mathematics, Computer Mathematics, Programming - General & Miscellaneous
Automated Reasoning with Otter by John Arnold Kalman — book cover

Automated Reasoning with Otter

by John Arnold Kalman
Write a review
Log in to track your reading progress.

No ratings yet.

Log in to write a review.

Show only reviews of this edition

There are no reviews yet.