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 20F10 38 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Algèbre et théorie des nombres : 2023 Delaunay, Christophe | Presses Universitaires de Franche-Comté 2023

Publication

- 126 p.
Cote : 00041629
fonction eulerienne # fonction zêta # fonction gamma # treillis # hauteur # espace adélique rigide # produit tensoriel # espace analytique de Berkovich # géométrie formelle # variété abélienne # mesure canonique # tore # tore de dimension 1 # théorie de Kummer # champ de nombres

05E16 ; 11M32 ; 16T05 ; 20F10 ; 33F10 ; 44A20 ; 11G50 ; 11H06 ; 14G40 ; 11G10 ; 14G22 ; 20G30 ; 11Y40

Localisation : Publication 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Burnside groups :
proceedings of a workshop held at the university of bielefeld#June-July Mennicke, J. L. | Springer-Verlag 1980

Congrès

- 274 p.
Cote : 00000113

20-02 ; 20E10 ; 20F05 ; 20F10 ; 20F50

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Word problems II
this book grew out of the working conference 'decision problems in algebra' Adian, S. I. ; Boone, W. W. ; Higman, G. | North-Holland Publishing Co. 1980

Congrès


Cote : 00000187
amalgamation # construction semi-sapin # groupe clos algébriquement # groupe de Burnside # groupe de Jonsson # groupe finiment présenté # groupe à forme normale # logique # machine modulaire # problème de décision pour théorie des anneaux # problème de mot résoluble # système de Thue commutatif # théorie d'annulation # théorème de plongement de Higman-Clapham-Valiev # tresse réductible

03D40 ; 08A50 ; 20F10

Localisation : Colloque 1er étage (OXFO)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic and machines :
proceedings of the symposium#May 23-28 Borger, E. ; Hasenjaeger, G. ; Rodding, D. | Springer-Verlag 1984

Congrès

- 456 p.
Cote : 00011691
algorithme # automate # complexité # indécidabilité # logique # machine

03D05 ; 20F10 ; 68Q30 ; 68Qxx

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Free group rings Gupta, Narian | American Mathematical Society 1987

Ouvrage

- 129 p.
Cote : 00012341
anneaux de groupes

20F05 ; 20F10 ; 20F12 ; 20F14 ; 20F26

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Ordered groups
proceedings of the Boise state conference Idaho
Oct. 16-20 Ball, Richard N. ; Otis Kenny, G. ; Smith, Jo E. | Marcel Dekker, Inc. 1980

Congrès


Cote : 00015560
groupe ordonné # solution du problème de mot # structure ordonné

06F15 ; 06Fxx ; 20F10 ; 20F60

Localisation : Colloque 1er étage (BOIS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The decision problem :
solvable classes of quantificational formulas Dreben, Burton ; Goldfard, Warren D. | Addison-Wesley Publishing Company 1979

Ouvrage

- 271 p.
Cote : 00000710
calcul des prédicats # classe résoluble de formule quantificationnelle # insolvabilité # problème de décision # solvabilité et coinstantiation

03B25 ; 03Bxx ; 11U05 ; 12L05 ; 20F10

Localisation : Ouvrage RdC (DREB)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Introduction to the theory of finite automata Kobrinskii, N. E. ; Trakhtenbrot, B. A. ; Shepherdson, J. C. | North-Holland Publishing Co. 1965

Ouvrage

- 337 p.
Cote : 00004217
automate finie # estimation asymptotique # logique # noeud logique # opérateur

03D05 ; 03Gxx ; 18B20 ; 20F10

Localisation : Ouvrage RdC (KOBR)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Conditions de petites simplifications et problème des mots Perraud, Jean | Université De Nantes 1982

Thèse

- 328 p.
Cote : 00005413
algorithme de Dehn # condition de petite simplification # extension d'Higman-Neumann- Neumann # graphe valué dans un groupe # groupe de présentation finie # problème de mots # produit libre amalgamé # éventail

03D40 ; 06B25 ; 08A50 ; 20F10 ; 68R15

Localisation : Ouvrage RdC (PERR)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Solvable cases of the decision problem Ackermann, W. | North-Holland Publishing Co. 1968

Ouvrage

- 114 p.
Cote : 00004213
formule bien formée # formule d'égalité # problème de décision # préfixe # validité de formule du calcul des prédicats du premier ordre # validité et satisfiabilité en domaine fini # variable de prédicats monadique

03B25 ; 03Bxx ; 11U05 ; 12L05 ; 20F10

Localisation : Monographie RdC (ACKE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun