Automated reasoning: Introduction and applications
Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos
ISBN 10:
0130544531 ISBN 13:
9780130544537
Published by Prentice-Hall
Language: English
Condition: Used - Very good
Hardcover
Sold by Cycle Books LA, South el monte, CA, U.S.A.
AbeBooks Seller since October 3, 2025
Used - Hardcover
Condition: Used - Very good
Price:
US$ 6.97
US$ 2.99 shipping
Ships within U.S.A.
Ships within U.S.A.
Quantity: 1 available
Add to basket