Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 320 p.
ISBN 978-0-8218-0577-0
DIMACS series in discrete mathematics and theoretical computer science , 0039
Localisation : Collection 1er étage
arithmétique du premier ordre # classe de complexité # combinatoire # complexite de preuve # fragment # informatique-théorique # logique # mathématique construction # théorie de la preuve # théorie de récursion
03F20 ; 03F30 ; 03F50 ; 68Q15 ; 68R05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 196 p.
ISBN
Proceedings of the Steklov institute of mathematics , 0242
Localisation : Collection 1er étage
Novikov # algèbre # logique mathématique # théorie des algorithmes # complexité
03-06 ; 03Gxx ; 03F20 ; 11Y16
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-88-7088-123-3
Studies in proof theory
Localisation : Disparu
complexite # logique # theorie de la preuve
03F20 ; 03Fxx
... 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.
- 389 p.
ISBN 978-0-8218-2872-4
IAS/Park City mathematics series , 0010
Localisation : Collection 1er étage
informatique # théorie de la complexité # classe de complexité # preuve de complexité # difficulté calculatoire d'un problème # calcul quantique # pseudoaléatoire
68-06 ; 68Qxx ; 03D15 ; 68Q15 ; 03F20 ; 68-02 ; 68Q17 ; 81P68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvi; 247 p.
ISBN 978-0-521-15433-8
London mathematical society lecture note series , 0382
Localisation : Collection 1er étage
complexité # variable aléatoire # analyse mathématique # limite arithmétique # mesure de Loeb # arbre de décision
03F20 ; 03-02 ; 03C62 ; 03F30 ; 68Q17
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
