m

F Nous contacter

0

Documents  03F20 | enregistrements trouvés : 7

O
     

-A +A

P Q

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.

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

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

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

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


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.

- 245 p.
ISBN 978-0-471-86854-5

Localisation : Ouvrage RdC (MELZ)

complexité

03D15 ; 03F20 ; 68C25 ; 68T20

... Lire [+]

Z