m
MathOuvrage

H 0 Logique, réduction, résolution

Lalement, René ; Demazure, Michel (Préf.)

Masson

1990

xii, 370 p. ; 25 cm

9782225821042

38489-43051

logique ; réduction ; programmation logique ; programmation fonctionnelle ; théorie du calcul sémantique ; complexité


Exemplaires

Nbre d'exemplaires : 2
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

Z