Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 129 p.
Call n° : 00023526
logique # théorie des modèles # théorie des groupes # groupe stable # théorie de la classification # groupe algébrique linéaire # algèbre de la théorie des modèles
03C45 ; 03C60 ; 14Lxx ; 20Gxx
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 215 p.
Call n° : 00012363
groupe stable
03C45 ; 03Gxx ; 14Lxx ; 30C60
Location : Ouvrage RdC (POIZ)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 219 p.
Call n° : 00019057
algorithme # calcul en temps polynomial # circuit arithmétique # circuit boléen # classe de complexité exponentielle # complexité d'algorithme # fonction boléenne # hiérarchie polynomiale # liens entre classes uniformes ou non uniformes # problème boléen # relation # structure fonctionnelle # temps séquentiel et temps parallèle # écriture linéaire des termes # élimination des quanteurs
03C10 ; 03D15 ; 68Q15 ; 94C10
Location : Ouvrage RdC (POIZ)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 443 p.
Call n° : 00022921
bifurcation # dimension de modèles # embranchement # fondement # logique mathématique # rang # saturation # stabilité # théorie de classification # théorie des modèles # théorie transcendentale
03-01 ; 03Cxx
Location : Ouvrage RdC (POIZ)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- pag. mult.
Call n° : 00024534
théorie stable
Location : Salle de manutention
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- pag. mult.
Call n° : 00024535
théorie stable
Location : Salle de manutention
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- pag. mult.
Call n° : 00024536
théorie stable
Location : Salle de manutention
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 584 p.
Call n° : 00009289
théorie des modèles # logique mathématiques
03-01 ; 03-02 ; 03C45 ; 03C07
Location : Ouvrage RdC (POIZ)