ISBN 0127634207 books & textbook

The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

Academic Press /1996-08-12 Hardcover / 434 Pages
isbn-10: 0127634207 / isbn-13: 9780127634203