Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (eds.)

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ’97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings