Theorem Proving In Higher Order Logics: 21st International Conference, Tphols 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes Computer Science And General Issues)

Otmane Ait Mohamed, Cesar Munoz, Sofi?ne Tahar

Published by Springer
Condition: New Soft cover

Sold by Books in my Basket, New Delhi, India

AbeBooks Seller since 10 September 2010

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


New - Soft cover

Condition: New

Price:
£ 17.86
£ 13.84 shipping
Ships from India to U.S.A.

Currently unavailable on AbeBooks.co.uk

Find this item on AbeBooks.com

Go to AbeBooks.com