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 03C10 10 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Bounds on transfer principles for algebraically closed and complete discretely valued fields Brown, Scott Sharey | American Mathematical Society 1978

Ouvrage


Call n° : 00014806

03C99 ; 03C60 ; 03C10 ; 03B25 ; 12L05 ; 11E95 ; 14G20

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

First-order logic Smullyan, Raymond M. | Springer-Verlag 1968

Ouvrage

- 158 p.
Call n° : 00004631
compacité # complétude # définabilité de Beth # ensemble magique # interpolation de Craig # logique du premier ordre # logique proportionnelle # propriété de consistance synthétique # système d'axiomes pour théorie de quantification # système de Gentzen # système de raisonnement linéaire # tableaux Prenex # tableaux analytiques # élimination

03-02 ; 03B05 ; 03B10 ; 03C10

Location : Ouvrage RdC (SMUL)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Les petits cailloux :
une approche modèle-théorique de l'algorithmie Poizat, Bruno | Aleas 1995

Ouvrage

- 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

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algorithms in real algebraic geometry Basu, Saugata ; Pollack, Richard ; Roy, Marie-françoise | Springer 2003

Ouvrage

- 602 p.
Call n° : 00026284
géométrie algébrique # ensemble semi-algébrique # algorithme # topologie # complexité # index de Cauchy # système polynomiale # élimination des quantificateurs # analyse d'algorithme # calcul formel

14P10 ; 14-02 ; 68W30 ; 13P10 ; 03C10 ; 68Q25 ; 52C45

Location : Ouvrage RdC (BASU)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

L'élimination Laurent, H. | Georges Carré &C. Naud, éditeurs 1900

Ouvrage

- 75 p.
Call n° : 00027416
élimination # méthode de Cauchy # théorème de Bezout # théorème de Jacobi # méthode d'élimination de Labatie # résolution de systèmes

15-XX ; 03F05 ; 03C10 ; 03C60

Location : Réserve

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Field arithmetic Fried, M. D. ; Jarden, Moshe | Springer 2005

Ouvrage

- 780 P.
Call n° : 00028185
corps algébrique # arithmétique des corps # théorie inverse de Galois # corps d'Hilbert # logique # point rationnel # théorie de la décidabilité # complétude # modèle non-standard

12E30 ; 03B25 ; 03C10 ; 03C60 ; 03H05

Location : Ouvrage RdC (FRIE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Rings of separated power series and quasi-affinoid geometry Lipshitz, Leonard ; Robinson, Zachary | Société Mathématique de France 2000

Ouvrage

- 171 p.
Call n° : 00028126

32P05 ; 32B05 ; 32B20 ; 32C35 ; 26E30 ; 12J25 ; 03C10 ; 13J05 ; 13B40

Location : Périodique 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Model theory and applications:
based on the Euro-conference in model theory and applications
Ravello # may 27 - june 1, 2002 Bélair, L. ; Chatzidakis, Z. ; D'Aquino, P. ; Marker, D. ; Otero, M. ; Point, F. ; Wilkie, A. | ARACNE 2002

Congrès

- xx; 466 p.
Call n° : 00036715
théorie des modèles # logique # théorie des nombres # théorie des groupes # théorie des corps

20E08 ; 05C25 ; 03C64 ; 03C60 ; 03C10 ; 20F60 ; 20E32 ; 20D05 ; 03C45 ; 20A15 ; 03C07 ; 03C98 ; 32B05 ; 12F10 ; 03C20 ; 11G25 ; 11G10 ; 11U09 ; 14G15 ; 20G15 ; 22E30 ; 12H05 ; 12L12 ; 30D60 ; 58A17 ; 20E42 ; 14K15 ; 03-06 ; 00B25 ; 11-06 ; 12-06 ; 20-06

Location : Colloque 1er étage (RAVE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Model theory in algebra, analysis and arithmetic:
Cetraro 2012 (CIME course) Macpherson, Dugald ; Toffalori, Carlo | Springer ; Fondazione CIME 2014

Ouvrage

- vii; 195 p.
Call n° : 00038504
analyse globale # théorie des modèles # théorie des nombres

03Cxx ; 03C45 ; 03C10 ; 03C60 ; 03C64 ; 12J20 ; 11U05 ; 11U09 ; 03-06 ; 03C62 ; 00B25

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Moderne algebra Zweiter Teil Van Der Waerden, B. L. | Verlag Von Julius Springer in Berlin 1931

Ouvrage

- 216 p.
Call n° : 00001595
algèbre linéaire # algèbre moderne # forme quadratique ou hermitienne # grandeur algébrique entière # grandeur hypercomplexe # théorie de l'élimination # théorie de la représentation de groupe ou de système hyperco # théorie des idéaux de polynômes # théorie générale des idéaux d'anneaux commutatifs

03C10 ; 13Cxx ; 15A63 ; 20Cxx ; 30G35

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language