m

F Nous contacter

0

Documents  Poizat, Bruno | enregistrements trouvés : 8

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- pag. mult.

Localisation : Salle de manutention

théorie stable

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- pag. mult.

Localisation : Salle de manutention

théorie stable

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- pag. mult.

Localisation : Salle de manutention

théorie stable

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 215 p.
ISBN 978-2-9500919-1-8

Nur al-mantiq wal-ma'rifah , 0002

Localisation : Ouvrage RdC (POIZ)

groupe stable

03C45 ; 03Gxx ; 14Lxx ; 30C60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 219 p.
ISBN 978-2-908016-58-1

Nul al-Mantiq wal-Ma'rifah , 0003

Localisation : Ouvrage RdC (POIZ)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 443 p.
ISBN 978-0-387-98655-5

Universitext

Localisation : Ouvrage RdC (POIZ)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 129 p.
ISBN 978-0-8218-2685-0

Mathematical surveys and monographs , 0087

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 584 p.
ISBN 978-2-9500919-0-1

Nur al-mantiq wal-ma'rifah¶ , 0001

Localisation : Ouvrage RdC (POIZ)

théorie des modèles # logique mathématiques

03-01 ; 03-02 ; 03C45 ; 03C07

... Lire [+]

Z