H Logique, réduction, résolution
Lalement, René ; Demazure, Michel (Préf.)
1990
xii, 370 p. ; 25 cm
9782225821042
38489-43051
logique ; réduction ; programmation logique ; programmation fonctionnelle ; théorie du calcul sémantique ; complexité
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 38489 | 1009735 | AGREG | |
2 | 43051 | 1027175 | AGREG |
ISBN10 : 2-225-82104-6
Type de doc : M
Ville d'édition : Barcelone ; Milan ; Paris
Pays d'édition : fr
Langue ouvrage : fre
Collection : Etudes et recherches en informatique
ISSN Collection : 0763-2770
Bibliographie : Bibliogr. p. 359-364
Class. Math. 1991 : 03Bxx
Lien SUDOC : https://www.sudoc.fr/00168633X