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.
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.
- 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.
- 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.
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 [+]