Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 617 p.
Cote : 00021626
logique # logique classique # logique non classique # logique non standard # mathématique # règle d'inférence
03-02 ; 03B45 ; 03B60
Localisation : Ouvrage RdC (RYBA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 273 p.
Cote : 00021758
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
Localisation : Ouvrage RdC (BARW)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 179 p.
Cote : 00022678
intelligence artificielle # logique de programmation # logique non classique
03B60 ; 03B70 ; 68T27
Localisation : Ouvrage RdC (BREW)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 243 p.
Cote : 00029016
raisonnement logique # intelligence artificielle # logique informatique
03B60 ; 03B70 ; 68T27
Localisation : Ouvrage RdC (SCHL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 225 p.
Cote : 00029996
logique mathématique # dépendance logique # équivalence logique # dualité
03-02 ; 03B60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xxiv, 654 p.
Cote : 00036123
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
Localisation : Oeuvres complètes RdC (ZERM)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xxi; 247 p.
Cote : 00040606
logique mathématique # logique de la justification # raisonnement # théorie de la connaissance # logique modale # logique intuitionniste
03-02 ; 03B45 ; 03B60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 121 p.
Cote : 00018778
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
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 257 p.
Cote : 00021830
diamant # forme brownienne # logique # logique mathématique # paradoxe # point fixe
03A05 ; 03B60
Localisation : Ouvrage RdC (HELL)
English