Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science, 3603)
ISBN-13: 9783540283720
ISBN-10: 3540283722
Edition: 2005
Binding: Paperback
Publisher: Springer
Published: 2005-08-08
Best Prices for this Book in New Condition
Best Used Prices
As an Amazon Associate we earn from qualifying purchases.