From logic to logic programming [monographie] |
Auteur(s): | Doets, Kees |
Langue: | anglais |
Collection: | Foundations of computing |
Editeur, date d'édition: | The M.I.T. Press, 1994 |
Ville(s) d'édition: | Cambridge, Massachusetts (US), London (GB) |
ISBN: | 0-262-04142-1 |
Classification MSC: | 68N17 |
Notes: | xii ; exercices ; bibliogr. pp. 197-199 ; rules and programs pp. 201 ; notation pp. 203-205 ; index pp. 207-214 ; 24 cm ; 214 p. |
Thèmes: | programmation logique, logic programming |
Exemplaire(s)
Cote | Retour |
---|---|
75.5 DOE 94 | Disponible |