Automated Theorem Proving: A Logical Basis: 1987 by Donald W. Loveland, Wolfgang Bibel (Paperback, 1987)


OUR TOP PICK

$123.00

List price $183.99 Save 33%
Quantity
2 available
Condition
Brand new
Sold by
Returns
30 days money back
Buyer pays return postage