Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 253 p.
ISBN 978-0-8218-2790-1
American mathematical society translations series 2 , 0203
Localisation : Collection 1er étage
géométrie algébrique # treillis continu # tableau # variété de dimension superieure # variété torique # combinatoire # asymptotique # déviation large # système hamiltonien de dimension infinie # ondelette # réduction de Drinfeld-Sokolov # variété algébrique # Rokhlin
01A70 ; 05E10 ; 06B35 ; 14Jxx ; 14Mxx ; 51-03 ; 60F10 ; 37KXX ; 42C40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-4522-6
Translations of mathematical monographs , 0069
Localisation : Collection 1er étage
theorie des treillis # treillis
06B23 ; 06B35 ; 06C15 ; 06E05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 299 p.
ISBN 978-0-691-05893-1
Princeton landmarks in mathematics and physics
Localisation : Ouvrage RdC (VON)
ensemble ordonné # géométrie du continu # géométrie projective # histoire des mathématiques # treillis
01A75 ; 06-02 ; 06B35 ; 51-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 484 p.
ISBN 978-0-521-62277-6
Cambridge tracts in theoretical computer science , 0046
Localisation : Ouvrage RdC (AMAD)
logique # informatique # logique combinatoire # sémantique # logique de programmation # sémantique # langage de programmation # domaine # calcul lambda # syntaxe du calcul lambda # dualiété de Stone # approche syntaxique de la sémantique
03B40 ; 06B35 ; 58-02 ; 68Q55 ; 68N18
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 611 p.
ISBN 978-0-19-853791-5
Oxford science publications
Localisation : Ouvrage RdC (Hand)
intelligence artificielle # programmation logique # épistémologie # raisonnement épistémologique # temps # raisonnement temporel # logique dans le temps
68-00 ; 68Q55 ; 03B70 ; 68Q10 ; 68Q65 ; 03D45 ; 68Q60 ; 06B35 ; 03B40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 591 p.
ISBN 978-0-521-80338-0
Encyclopedia of mathematics and its applications , 0093
Localisation : Collection 1er étage
treillis # réseau # treillis continu # treillis topologique # sémantique # ensemble ordonné # théorie des catégories # topologie de Scott # topologie de Lawson
06-00 ; 06B35 ; 54H12 ; 68Q55
... 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- viii; 368 p.
ISBN 978-981-10-5064-0
Mathematics for industry , 0029
Localisation : Ouvrage RdC (MATH)
modélisation de sécurité # cryptographie # sécurité de l'information # théorie de la représentation # cryptosystème
94-06 ; 94A60 ; 11T71 ; 06B35 ; 00A71 ; 00B15
... Lire [+]