Dyckhoff Roy Edt (4 results)
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Tableaux 200 (2000 St. Andrews, Scotland); Dyckhoff, Roy (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 48.08
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Tableaux 200 (2000 St. Andrews, Scotland); Dyckhoff, Roy (EDT)
- 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 Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Tableaux 200 (2000 St. Andrews, Scotland); Dyckhoff, Roy (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.42
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Tableaux 200 (2000 St. Andrews, Scotland); Dyckhoff, Roy (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.48
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
