Instantiation theory: on the foundations of automated deduction
Auteur :
Williams, James G.
Éditeur :
Williams, James G.
ISBN :
9783540543336
Date de publication :
7 août 1991
Dimensions :
23,5 x 15,5 x 0,8 cm
Poids :
480 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This monograph presents a new, general algorithm for use in building theorem provers and logic programming systems. The algorithm is based on a theory that may be developed into a general theory of logics. Appropriate applications of the algorithm and its underlying theory are given.