Computation as logic
Auteur :
Lalement, Rene
Éditeur :
Pearson Education (US)
ISBN :
9780137700097
Date de publication :
1 mai 1993
Dimensions :
24,0 x 18,0 x 2,5 cm
Poids :
733 g
Langue :
Anglais
Pays d'origine :
USA
Logic plays an important role in the two areas of computer science - reduction and resolution - associated with functional and logic programming. This book shows that logic is not only a language in which one can accurately state facts but also that programming itself is a logical activity.