Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

4.11 - 1251 ratings - Source

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
ISBN-13:

Continue

You Must CONTINUE and create a free account to access unlimited downloads & streaming