Mccune William Edt (4 results)
Automated Deduction - Cade-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : Proceedings
Mccune, William (EDT); McCune, W.; International Conference on Automated Deduction 1997 Townsville, Qld
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 51.16
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Automated Deduction - Cade-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : Proceedings
Mccune, William (EDT); McCune, W.; International Conference on Automated Deduction 1997 Townsville, Qld
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.11
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Automated Deduction - Cade-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : Proceedings
Mccune, William (EDT); McCune, W.; International Conference on Automated Deduction 1997 Townsville, Qld
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.79
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Automated Deduction - Cade-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : Proceedings
Mccune, William (EDT); McCune, W.; International Conference on Automated Deduction 1997 Townsville, Qld
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.72
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
