En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Poizat, Bruno 8 results

Filter
Select: All / None
Q
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

Bookmarks Report an error
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)

Bookmarks Report an error
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)

Bookmarks Report an error
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)

Bookmarks Report an error
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

Bookmarks Report an error
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

Bookmarks Report an error
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

Bookmarks Report an error
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)

Bookmarks Report an error

Filter

Type
Authors
Language