From logic design to logic programming: theorem proving techniques and p-functions
Auteur :
Snyers, D.
Éditeur :
Snyers, D.Thayse, Andre,
ISBN :
9783540182177
Date de publication :
12 août 1987
Dimensions :
23,3 x 15,5 x 0,7 cm
Poids :
450 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws. A systematic examination of deductive laws and of constructive laws is presented.