Articles liés à Computation As Logic

Computation As Logic - Couverture rigide

Lalement, .

 
9780137700097: Computation As Logic
Couverture rigide
ISBN 10 : 0137700091 ISBN 13 : 9780137700097
Editeur : Prentice Hall, 1993

Synopsis

Logic plays an important role in the two areas of computer science - reduction and resolution respectively associated with functional programming and logic programming. This book illustrates that logic is not only a language in which one can accurately state facts or knowledge (as in artificial intelligence) but also that programming itself is a logical activity.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Logic plays an important role in the two areas of computer science - reduction and resolution respectively associated with functional programming and logic programming. This book illustrates that logic is not only a language in which one can accurately state facts or knowledge (as in artificial intelligence) but also that programming itself is a logical activity.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Prentice Hall
Date d'édition
1993
Langue
anglais
ISBN 10 
0137700091
ISBN 13 
9780137700097
Reliure
Relié
Numéro d'édition
1
Nombre de pages
392
Coordonnées du fabricant
non disponible
Personne responsable
non disponible