Richard J. Boulton, Paul B. Jackson (Eds.): Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings.Lecture Notes in Computer Science 2152, Springer 2001, ISBN 3-540-42525-X
data released under the ODC-BY 1.0 license. See also our legal information page