Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 121 p.
ISBN 978-0-8218-3122-9
American Mathematical Society Translations. Series 2 , 0142
Localisation : Collection 1er étage
PI-algèbre de Banach # Sigma programmation # # algorithme optimal # arrangement et recouvrement de figures poluygonales planes # convergence d'une modification de la méthode de Newton-Kanto # décomposition de fonctions entières d'ordre fini en facteurs # espace de Lorentz # idéal d'opérateurs singuliers strictement # idéal de perturbations Phi-admissibles # monoides complètement plats # principe de collection # quantificateur existentiel # représentation spéciale de polynômes positifs sur un système # résolubilité d'équations d'opérateurs fermés non linéaires # topologie sur l'ensemble des idéaux maximaux
PI-algèbre de Banach # Sigma programmation # # algorithme optimal # arrangement et recouvrement de figures poluygonales planes # convergence d'une modification de la méthode de Newton-Kanto # décomposition de fonctions entières d'ordre fini en facteurs # espace de Lorentz # idéal d'opérateurs singuliers strictement # idéal de perturbations Phi-admissibles # monoides complètement plats # principe de collection # quantificateur existentiel # ...
03B60 ; 16A40 ; 26C99 ; 30D20 ; 41A10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 617 p.
ISBN 978-0-444-89505-9
Studies in logic and the foundations of mathematics , 0136
Localisation : Ouvrage RdC (RYBA)
logique # logique classique # logique non classique # logique non standard # mathématique # règle d'inférence
03-02 ; 03B45 ; 03B60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 273 p.
ISBN 978-0-521-58386-2
Cambridge tracts in theoretical computer science , 0044
Localisation : Ouvrage RdC (BARW)
apprentissage et système adaptatif # informatique théorie # langage naturel # linguistique # logique # logique algébrique # logique de programmation # logique non classique # logique quantique # philosophie # système distribué # théorie du calcul informatique # traitement de l'information # traitement des données électroniques
03-02 ; 03A05 ; 03B60 ; 03B65 ; 03B70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 257 p.
ISBN 978-981-02-2850-7
Series on knot and everything , 14
Localisation : Ouvrage RdC (HELL)
diamant # forme brownienne # logique # logique mathématique # paradoxe # point fixe
03A05 ; 03B60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 179 p.
ISBN 978-1-881526-83-4
Csli lecture notes , 0073
Localisation : Ouvrage RdC (BREW)
intelligence artificielle # logique de programmation # logique non classique
03B60 ; 03B70 ; 68T27
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 243 p.
ISBN 978-3-540-62482-0
Lecture notes in artificial intelligence , 1187
Localisation : Ouvrage RdC (SCHL)
raisonnement logique # intelligence artificielle # logique informatique
03B60 ; 03B70 ; 68T27
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 225 p.
ISBN 978-0-521-70015-3
London mathematical society student texts , 0070
Localisation : Collection 1er étage
logique mathématique # dépendance logique # équivalence logique # dualité
03-02 ; 03B60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxiv, 654 p.
ISBN 978-3-540-79383-0
Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften , 0021
Localisation : Oeuvres complètes RdC (ZERM)
oeuvres complètes # Ernst Zemelo # histoire des mathématiques # 20ème siècle # Landau # König # théorie des ensembles
01A70 ; 01A75 ; 03B60 ; 03E25 ; 03E30 ; 03E45 ; 03E55 ; 11A41 ; 91A05
... 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.
- xxi; 247 p.
ISBN 978-1-108-42491-2
Cambridge tracts in mathematics , 0216
Localisation : Collection 1er étage
logique mathématique # logique de la justification # raisonnement # théorie de la connaissance # logique modale # logique intuitionniste
03-02 ; 03B45 ; 03B60
... Lire [+]
