From logic to logic programming
Auteur :
Doets, Kees
Éditeur :
Doets, Kees
ISBN :
9780262041423
Date de publication :
1 mars 1994
Dimensions :
23,1 x 17,8 x 1,7 cm
Poids :
544 g
Langue :
Anglais
Pays d'origine :
USA
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn-clause logics, together with an analysis of the semantic aspects of the method.