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

Victor Carreño César Muñoz Sofiène Tahar Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings TPHOLs Lecture Notes in Computer Science 2410 Springer 2002 3-540-44039-9 db/conf/tphol/tphol2002.html