Higher order logic theorem proving and its applications: 7th international workshop, valletta, malta, september 19-22, 1994. proceedings: 7th: international workshop, valletta, malta, september 19-22, 1944 - proceedings
Auteur :
Melham, T.F.
ISBN :
9783540584506
Date de publication :
7 sept. 1994
Dimensions :
23,3 x 15,5 x 2,5 cm
Poids :
684 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.