Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 292 p.
Cote : 00013870
pl/cv2 # programmation logique
68N17
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 195 p.
Cote : 00014295
parallèle # programmation logique # prolog
68M15 ; 68Q10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 32 p.
Cote : 00017178
contrainte linéaire sur nombre réel # contrainte redondante # programmation en logique avec contrainte # pédagodie # résolution de contrainte linéaire en programmation par contr # élimination de variable dans les diséquations (non =) # élimination de variables dans les inéquations (< ou =)
68N17
Localisation : Ouvrage RdC (IMBE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 370 p.
Cote : 00017455
algèbre et équation # calcul lambda # calculabilité # classification de problème # codage # complexité # décidabilité # logique de premier ordre # logique générale # logique équationnelle # meta programme # négation # preuve équationnelle # programmation fonctionnelle # programme logique # résolution # structure de contrôle # système de reécriture # sémantique # terminaison et confluence # théorie des modèles # unification # égalité et résolution
03B10 ; 03B25 ; 03B40 ; 03Cxx ; 68N17
Localisation : Ouvrage RdC (LALE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 49 p.
Cote : 00017859
annotation de programme systèmatique # correction partielle ou totale # logique de programmation informatique # synthèse de programme # terminaison de système de production
68N17 ; 68Nxx
Localisation : Collection 1er étage
English