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 [+]