Automated Theorem Proving: A Logical Basis - Hardcover

Loveland, Donald W.

 
9780720404999: Automated Theorem Proving: A Logical Basis

Other Popular Editions of the Same Title

9781493305513: Automated Theorem Proving: A Logical Basis

Featured Edition

ISBN 10:  1493305514 ISBN 13:  9781493305513
Publisher: North Holland, 2014
Softcover