Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings - Slind, Konrad; Slind, Konrad; Bunker, Annette; Bunker, Annette; Gopalakrishnan, Ganesh C.; Gopalakrishnan, Ganesh C. (Springer Berlin Heidelberg : Imprint: Springer, 2004)