Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science) by Elsa L. Gunter

download center

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science)

Elsa L. Gunter - Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science)
Enter the sum