This volume contains the proceedings of a workshop on the subject, held in Malta in 1994. Along with a number of papers on the design and applications of theorem-provers, there is a report on the applications of the higher order logic (HOL) system.This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.
|Title||:||Higher Order Logic Theorem Proving and Its Applications|
|Author||:||Thomas F. Melham, Juanito Camilleri|
|Publisher||:||Springer Science & Business Media - 1994-09-07|