×
Please Enter ISBN, Title or Author’s Name
×
Browsing History
Please Enter ISBN, Title or Author’s Name
Compare Textbook Prices with Amazon
Compare Textbook Prices with Chegg
Compare Textbook Prices with AbeBooks
Compare Textbook Prices with Vitalsource
Compare Textbook Prices with Valorebooks
and more...
Compare Textbook Prices / Buy Textbooks / Holiday Books / Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings Lecture Notes in Computer Science, 5674 | 2009 Edition

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings Lecture Notes in Computer Science, 5674 | 2009 Edition

Compare Textbook Prices for Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings Lecture Notes in Computer Science, 5674 2009 Edition ISBN 9783642033582 by Berghofer, Stefan,Nipkow, Tobias,Urban, Christian,Wenzel, Makarius
Authors: Berghofer, Stefan,Nipkow, Tobias,Urban, Christian,Wenzel, Makarius
ISBN:364203358X
ISBN-13: 9783642033582
List Price: $54.99 (up to 0% savings)
Buy New $51.31
Buy Used $56.29
Prices shown are the lowest from
the top textbook retailers.

View all Prices by Retailer

img
Buy New $54.99 Buy Used $56.29
img
Buy New $60.00
img
Buy New $51.31

Back to top
Need Holiday Books tutors? Start your search below:
Please Enter Your College Name
Need Holiday Books course notes? Start your search below:
Please Enter Your College Name
Back to top