Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings

E. Thomas Schubert, Phillip J. Windley, Jim Alves-Foss, editors, Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings. Volume 971 of Lecture Notes in Computer Science, Springer, 1995.

Conference: tphol1995

Abstract

Abstract is missing.

Table of Contents