Higher order logic theorem proving and its applications: 6th international workshop, hug '93, vancouver, b.c., canada, august 11-13, 1993. proceedings: 6th: international workshop, hug '93, vancouver, b.c., canada, august 11-13, 1993 - proceedings
Auteur :
Joyce, Jeffrey J.
ISBN :
9783540578260
Date de publication :
28 avr. 1994
Dimensions :
23,4 x 15,6 x 2,7 cm
Poids :
743 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Containing the edited proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia, Vancouver, Canada in August 1993, this volume explores higher-order logic theory proving, its usage and applications.