9783540283720 | Springer-Verlag New York Inc, October 16, 2005, cover price $78.00 |
About this edition: This book constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK, in August 2005.