Theorem Proving in Higher Order Logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings - Carreno, Victor A.; Carreno, Victor A.; Munoz, Cesar A.; Munoz, Cesar A.; Tahar, Sofiene; Tahar, Sofiene (Springer Berlin Heidelberg : Imprint: Springer, 2002)