Automated reasoning: Introduction and applications - Hardcover

Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos

 
9780130544537: Automated reasoning: Introduction and applications

Other Popular Editions of the Same Title

9780130544469: Automated Reasoning: Introduction and Applications

Featured Edition

ISBN 10:  0130544469 ISBN 13:  9780130544469
Publisher: Prentice-Hall, 1984
Softcover