Ricky Butler (auth.), Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings