ISBN 0130544469 books & textbook

Automated Reasoning: Introduction and Applications

Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, James

Prentice-Hall /1984T Paperback / 482 Pages
isbn-10: 0130544469 / isbn-13: 9780130544469