Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 295 p.
ISBN 978-4-931469-02-0
Msj memoirs , 0002
Localisation : Colloque 1er étage (TOKY)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 417 p.
ISBN 978-0-521-77911-1
Cambridge tracts in theoretical computer science , 0043
Localisation : Ouvrage RdC (TROE)
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
... 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.
- vi-287 p.
ISBN 978-94-007-0319-3
Trends in logic , 34
Localisation : Ouvrage RdC (BAAZ)
théorie de la preuve # théorie de la démontration # élimination des coupures # méthode CERES
03-02 ; 03F05 ; 03B35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvi, 275 p.
ISBN 978-2-85629-273-0
Panoramas et synthèses , 0027
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 501 p.
ISBN 978-0-19-850729-1
Oxford mathematical monographs
Localisation : Ouvrage RdC (CARB)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 75 p.
Physique - mathématique , 0007
Localisation : Réserve
é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
... Lire [+]
