Tphols 200 (12 results)
Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings
Tphols 200 (2000 Portland, Or.); Aagaard, Mark; Harrison, J.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.32
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.32
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings
Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 66.49
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings
Tphols 200 (2000 Portland, Or.); Aagaard, Mark; Harrison, J.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 67.00
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings
Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 84.21
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 70.06
US$ 20.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings
Tphols 200 (2000 Portland, Or.); Aagaard, Mark; Harrison, J.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 70.76
US$ 20.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings
Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 70.76
US$ 20.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings
Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.63
US$ 20.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings
Tphols 200 (2000 Portland, Or.); Aagaard, Mark; Harrison, J.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.76
US$ 20.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 149.08
US$ 20.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 168.73
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
