m

F Nous contacter

0

Documents  03C05 | enregistrements trouvés : 14

O
     

-A +A

P Q

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

Supplemento ai rendiconti del circolo matematico di palermo

Localisation : Colloque 1er étage (ZELE)

algebre # analyse abstraite # espace de banach # fonction # mesure de radon # treillis

03C05 ; 43AXX ; 46B30 ; 46Bxx ; 46Hxx

... Lire [+]

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

- 273 p.
ISBN 978-0-8218-3985-0

Contemporary mathematics , 0421

Localisation : Collection 1er étage

groupe combinatoire # groupe discret # théorie des nombres # anneau # cryptographie algébrique non-commutative

01A60 ; 03C05 ; 20E05 ; 20E06 ; 20E26 ; 20F05 ; 20F12 ; 20F18 ; 20H10

... Lire [+]

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

- xviii; 299 p.
ISBN 978-981-4365-11-6

Nankai series in pure, applied mathematics and theoretical physics , 0009

Localisation : Colloque 1er étage (TIAN)

operads # cohomologie # homotopie

18D50 ; 03C05

... Lire [+]

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


ISBN 978-0-8218-2292-0

Memoirs of the american mathematical society , 0292

Localisation : Collection 1er étage

03C05 ; 03G10 ; 06B20 ; 06B25 ; 08B15

... Lire [+]

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


ISBN 978-0-8218-2246-3

Memoirs of the american mathematical society , 0246

Localisation : Collection 1er étage

03B25 ; 03C05 ; 08A15 ; 08B10 ; 08B99

... Lire [+]

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

- 431 p.
ISBN 978-0-273-08721-2

Research notes in theoretical computer science

Localisation : Ouvrage RdC (LECH)

algèbre universelle # informatique algébrique # prestation d'algébre universelle # théorie des graphes # théorie des structure d'algèbre universel

03C05 ; 06-XX ; 08A05 ; 08Axx ; 68Q40

... Lire [+]

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

- 318 p.
ISBN 978-0-8218-1041-5

American mathematical society colloquium publications , 0041

Localisation : Collection 1er étage

logique # logique mathématique # logique symbolique # théorie d'ensembles

03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15

... Lire [+]

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

- 108 p.

Mathematische forschungsberichte , 0025

Localisation : Ouvrage RdC (SCHM)

algèbre universelle # classe d'équations # relation de congruence des structures algébriques

03C05 ; 08A30 ; 08Axx

... Lire [+]

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

- 257 p.
ISBN 978-981-02-0872-1

Localisation : Oeuvres complètes RdC (ENGE)

algèbre combinatoire # algébraisation d'algorithmes # approximation algorithmique # corps différentiel combinatoire # logique de "peut faire" # logique des propriétés algorithmiques # modélisation # propriété algorithmique des structures # structure de problème # théorie de Galois # théorie des constructions géométriques # Engeler # oeuvres complètes

03C05 ; 08Axx ; 11S20 ; 51M15 ; 68Qxx

... Lire [+]

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

- 276 p.
ISBN 978-0-387-90578-5

Graduate texts in mathematics , 0078

Localisation : Collection 1er étage

algèbre booléenne # algèbre universelle # anneau # variété

03C05 ; 08-01 ; 08Axx

... Lire [+]

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

- 110 p.
ISBN 978-0-8218-2705-5

Fields institute monographs , 0015

Localisation : Collection 1er étage;Réserve

théorie algébrique des modèles # corps algébrique # modèle # corps différentiel # logique # o-minimalité # congrugence # algèbre finie

12L12 ; 03C05 ; 03C64

... Lire [+]

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

- 377 p.
ISBN 978-0-13-770009-7

Prentice Hall international series in computer science

Localisation : Ouvrage RdC (LALE)

logique # réduction # résolution # informatique théorique # programmation logique # programmation fonctionnelle # calcul lambda # modèle # calculabilité # réécriture # complexité # théorie du calcul sémantique

68-02 ; 03B40 ; 03B70 ; 03C05 ; 68N17 ; 68Q42

... Lire [+]

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

- 183 p.

Studies in logic and the foundations o mathematics

Localisation : Ouvrage RdC (KARP)

logique # logique infinitaire # langage infinitaire # concaténation infinitaire # formule de longueur infinie # prédicat infinitaire # système formel infinitaire # représentation d'algèbre de Boole

03C75 ; 03C05

... Lire [+]

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

- 39 p.

Localisation : Salle de manutention

classe OM [indices] JKF # classe OM [indices] KL # classe de la forme OM [indice]JX # classe équationnelle # logique de mécanique quantique # polynôme et homomorphisme # topologie compacte sur l'ensemble des états # état sur treillis orthomodulaire

03C05 ; 06Bxx ; 06Cxx ; 81Pxx

... Lire [+]

Z