m

F Nous contacter

0

Documents  Hartmanis, Juris | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8218-0131-4

Proceedings of symposia in applied mathematics , 0038

Localisation : Collection 1er étage

complexite # informatique # theorie de la complexite

68Q05 ; 68Q10 ; 68Q20 ; 68Q75

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 62 p.
ISBN 978-0-89871-027-4

CBMS-NSF regional conference series in applied mathematics , 0030

Localisation : Collection 1er étage

L- isomorphisme # calcul faisable # complexité informatique # ensemble complet # langage formel # preuve de théorème trivial # problème P=NP relativisé # propriété de complexité prouvable # réduction # structure # système mathématique formel # théorie des ensembles formelles

03B48 ; 03D15 ; 68Q15 ; 68Q25 ; 68Q45

... Lire [+]

Z