Automated Reasoning: Introduction and Applications - Softcover

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

 
9780130544469: Automated Reasoning: Introduction and Applications

Other Popular Editions of the Same Title

9780130544537: Automated reasoning: Introduction and applications

Featured Edition

ISBN 10:  0130544531 ISBN 13:  9780130544537
Publisher: Prentice-Hall, 1984
Hardcover