Higher order logic theorem proving and its applications: 8th international workshop, aspen grove, ut, usa, september 11 - 14, 1995. proceedings: 8th: international workshop, aspen grove, ut, usa, september 11-14, 1995 - proceedings
Auteur :
Schubert, E.Thomas
ISBN :
9783540602750
Date de publication :
23 août 1995
Dimensions :
23,4 x 15,6 x 2,1 cm
Poids :
581 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The papers in this collection document the advances in the field, and fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.