En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03F05 8 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Theories of types and proofs
two weeks MSJ regional workshoop on ... took place at Tokyo Institute of Technology
Sept. Dezani-Ciancaglini, Mariangiola ; Okada, Mitsuhiro ; Takahashi, Masako | Mathematical Society of Japan 1998

Congrès

- 295 p.
Cote : 00023308
arbre de Böhm # calcul lambda # logique # logique d"ordre supérieur # logique linéaire # modèle lambda # preuve mathématique des systèmes constructifs # système d"attribution de type # théorie des types

03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05

Localisation : Colloque 1er étage (TOKY)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

L'élimination Laurent, H. | Georges Carré &C. Naud, éditeurs 1900

Ouvrage

- 75 p.
Cote : 00027416
élimination # méthode de Cauchy # théorème de Bezout # théorème de Jacobi # méthode d'élimination de Labatie # résolution de systèmes

15-XX ; 03F05 ; 03C10 ; 03C60

Localisation : Réserve

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Linear logic in computer science :
Azores summer school on ...#Aug. 30 - Sept. 7 Ehrhard, Thomas ; Girard, Jean-Yves ; Ruet, Paul ; Scott, Philip | Cambridge University Press 2004

Congrès

- 381 p.
Cote : 00026869
théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

A graphic apology for symmetry and implicitness Carbone, Alessandra ; Semmes, Stephen | Oxford University Press 2000

Ouvrage

- 501 p.
Cote : 00028570
combinatoire # logique # informatique # complexité # théorie des graphes # automate # structure de preuve # langage formel # morphisme en logique # graphe de visibilité # objet complexe formel # symétrie # graphe orienté # dualité # graphe et groupe

03-02 ; 03F05 ; 03F07 ; 03F20 ; 05Cxx ; 68R10

Localisation : Ouvrage RdC (CARB)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Interactive Models of Computation and Program Behavior Curien, Pierre-Louis ; Herbelin, Hugo ; Krivine, Jean-Louis ; Melliès, Paul-André | Société Mathématique de France 2009

Ouvrage

- xvi, 275 p.
Cote : 00036021
Théorie de la démonstration # réalisabilité # machines abstraites # logique linéaire # sémantique des jeux

03F05 ; 03F52 ; 68Q55 ; 03B40 ; 03B70 ; 03G30 ; 68N18 ; 68N20

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Methods of cut-elimination Baaz, Matthias ; Leitsch, Alexander | Springer 2011

Ouvrage

- vi-287 p.
Cote : 00037432
théorie de la preuve # théorie de la démontration # élimination des coupures # méthode CERES

03-02 ; 03F05 ; 03B35

Localisation : Ouvrage RdC (BAAZ)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic in computer science II Ghilezan, Silvia | Matematicki Institut SANU 2015

Ouvrage

- 223 p.
Cote : 00039164
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

Localisation : Ouvrage RdC (LOGI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Basic proof theory Troelstra, A. S. ; Schwichtenberg, H. | Cambridge University Press 2000

Ouvrage

- xii; 417 p.
Cote : 00039620
théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale

03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70

Localisation : Ouvrage RdC (TROE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue