m

F Nous contacter

0

Documents  03B60 | enregistrements trouvés : 9

O
     

-A +A

P Q

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

- 223 p.
ISBN 978-86-80593-57-9

Zbornik radova , 0018

Localisation : Ouvrage RdC (LOGI)

théorie de la démonstration # logique probabiliste de premier ordre # clone et hyperclone # commutation et conception logique # système de preuve interactive

18-01 ; 03F07 ; 18A15 ; 03F05 ; 18D10 ; 03B48 ; 03B60 ; 03B70 ; 03B35 ; 68T37 ; 68T15 ; 68T30 ; 03-02 ; 03B40 ; 03B47 ; 68N18 ; 03F52 ; 08-02 ; 08A40 ; 03C13 ; 15-02 ; 43A32 ; 94B05

... 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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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 [+]

Z