Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 417 p.
Cote : 00000178
fonctionnalité # lambda conversion # logique combinatoire # logique combinatoire illative # système formel # théorie intuitive des combinateurs # théorie synthétique des combinateurs # théorème de Church- Rosser # épithéorie
03B40 ; 03F10
Localisation : Ouvrage RdC (CURR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 120 p.
Cote : 00010403
axiomatique # calcul lambda # fondements de la logique classique # informatique # langage formel # langage naturel # logique mathématiques # traitement
03-04 ; 03B30 ; 03B40 ; 68-04 ; 69F05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 520 p.
Cote : 00000179
arithmétique combinatoire # fonctionalité # généralité restreinte # généralité universelle # logique combinatoire # système illatif # théorie des types combinatoires
03B15 ; 03B40
Localisation : Ouvrage RdC (CURR)
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
- 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)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 1 vol. (XVI-582 p.)
Cote : 00042091
Logique mathématique
03-01 ; 03B40
Localisation : Ouvrage RdC (BARE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00007672
automate et grammaire # code et langage # combinatoire et énumération # combinatoire sur mot # suite de Thue # système de Thue
03B40 ; 05-06 ; 05A15 ; 54H20 ; 57Txx
Localisation : Colloque 1er étage (WATE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 317 p.
Cote : 00010472
calcul algébrique # calcul symbolique # informatique théorique # logique combinatoire # logique de programmation # logique symbolique # système formel
03B40 ; 68C01 ; 68C20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 302 p.
Cote : 00011567
calcul lambda # langage # logique # logique formelle
03B05 ; 03B10 ; 03B40 ; 03Bxx
Localisation : Ouvrage RdC (PAUL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 434 p.
Cote : 00012717
langage fonctionnelle des éléments
03B40 ; 68Q45
Localisation : Ouvrage RdC (HENS)