Slind Konrad Edt (2 results)

Author:

Refine with Advanced Search

Theorem Proving In Higher Order Logic : 17th International Conference, Tphols 2004, Park City, Utah, Usa, September 14-17, 2004, Proceedings
Slind, Konrad (EDT); Bunker, Annette (EDT); Gopalakrishnan, Ganesh C. (EDT)
Language: English
Published by Springer, 2004
3540230173 / 9783540230175
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: New
£ 64.87
£ 1.96 shipping
Ships within U.S.A.
Quantity: 15 available
Condition: New.
Theorem Proving In Higher Order Logic : 17th International Conference, Tphols 2004, Park City, Utah, Usa, September 14-17, 2004, Proceedings
Slind, Konrad (EDT); Bunker, Annette (EDT); Gopalakrishnan, Ganesh C. (EDT)
Language: English
Published by Springer, 2004
3540230173 / 9783540230175
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: Used - As new
£ 138.30
£ 1.96 shipping
Ships within U.S.A.
Quantity: 15 available
Condition: As New. Unread book in perfect condition.