m

F Nous contacter

0

Documents  03-00 | enregistrements trouvés : 11

O
     

-A +A

P Q

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

- 368 p.
ISBN

Astérisque , 0121

Localisation : Périodique 1er étage

14H10 ; 14K15 ; 58C40 ; 58A10 ; 53C20 ; 14H25 ; 20D08 ; 18G ; 34C28 ; 46B20 ; 46E15 ; 49F10 ; 14H99 ; 14K05 ; 05A15 ; 57R45 ; 62P99 ; 57R52 ; 12A25 ; 12A50 ; 28A05 ; 03C30 ; 03-00

... Lire [+]

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

- xv; 481 p.
ISBN 978-94-017-7326-3

Localisation : Ouvrage RdC (NONS)

analyse non standard # principe de transfert # principe de définition de Keisler # principe de débordement # saturation # théorie de la mesure non standard # mesure de Loeb # espace de Loeb # mouvement Brownien # intégrale de Itô # espace de Wiener # transformation de Girsanov # mathématiques économiques # équilibre de Nash # analyse du risque

03-00 ; 03H05 ; 03H10 ; 03H15 ; 28E05 ; 26E35 ; 46S20 ; 47S20 ; 54J05 ; 60H99 ; 91B99 ; 00B15

... Lire [+]

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

- xxii; 833 p.
ISBN 978-0-521-76614-2

Perspectives in logic

Localisation : Ouvrage RdC (BARE)

lambda calcul # lambda-calcul simplement typé # type récursif # type intersection

03-00 ; 03B40 ; 03B70

... Lire [+]

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

- xiv; 1449-2197 p.
ISBN 978-1-4020-4843-2

Localisation : Ouvrage RdC (HAND)

théorie des ensembles

03-00 ; 03Exx ; 00B15 ; 03E02 ; 03E04 ; 03E05 ; 03E10 ; 03E15 ; 03E17 ; 03E35 ; 03E40 ; 03E45 ; 03E55 ; 03E60

... Lire [+]

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

- xiv; 737-1447 p.
ISBN 978-1-4020-4843-2

Localisation : Ouvrage RdC (HAND)

théorie des ensembles

03-00 ; 03Exx ; 00B15 ; 03E02 ; 03E04 ; 03E05 ; 03E10 ; 03E15 ; 03E17 ; 03E35 ; 03E40 ; 03E45 ; 03E55 ; 03E60

... Lire [+]

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

- xiv; 736 p.
ISBN 978-1-4020-4843-2

Localisation : Ouvrage RdC (HAND)

théorie des ensembles

03-00 ; 03Exx ; 00B15 ; 03E02 ; 03E04 ; 03E05 ; 03E10 ; 03E15 ; 03E17 ; 03E35 ; 03E40 ; 03E45 ; 03E55 ; 03E60

... Lire [+]

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


ISBN 978-0-444-81714-3

Localisation : Ouvrage RdC (H)

linguistique # logique # logique mathématique # logique symbolique # sémantique # traitement du langage naturel

00A30 ; 03-00 ; 03-XX ; 68Q55 ; 68Qxx

... Lire [+]

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

- Pp. 721-1367
ISBN 978-0-444-87153-4

Localisation : Ouvrage RdC (Hand)

algèbre de Boole # handbook

03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx

... Lire [+]

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

- Pp. 315-716
ISBN 978-0-444-87152-7

Localisation : Ouvrage RdC (Hand)

algèbre de Boole # handbook

03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx

... Lire [+]

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

- 312 p.
ISBN 978-0-444-70261-6

Localisation : Ouvrage RdC (Hand)

algèbre de Boole # handbook

03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx

... Lire [+]

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

- 247 p.

Publicazioni a cura del centro superiore di logica e scienze comparate

Localisation : Ouvrage RdC (SPIS)

logique mathématique et fondation # logique générale fondation des théories classiques

03-00

... Lire [+]

Z