Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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 [+]
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.
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.
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.
- 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.
- 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 [+]
