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, Sofisne Tahar

Published by Springer, 2008
Language: English
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:
£ 71.75
£ 15.43 shipping
Ships from India to U.S.A.

Currently unavailable on AbeBooks.co.uk

Find this item on AbeBooks.com

Go to AbeBooks.com