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
New Condition: New Soft cover

From Books in my Basket, New Delhi, India

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

AbeBooks Seller since 10 September 2010

View this seller's items


New - Soft cover

Price: £ 60.11 Convert Currency
£ 10.91 shipping from India to United Kingdom Destination, rates & speeds

Currently unavailable on AbeBooks.co.uk

Find this item on AbeBooks.com

Go to AbeBooks.com