m
     
Ouvrage

H 0 Feasible computations and provable complexity properties

Hartmanis, Juris (Principal)

S.I.A.M.

1978

62 p.

978-0-89871-027-4

00017858

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

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

Ville d'édition : Philadelphia

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780898710274

ISBN : 0-89871-027-8

Collation : 25 cm#broch. ; Bibliogr.

Collection : CBMS-NSF regional conference series in applied mathematics

N° de collection : 0030

Localisation : Collection 1er étage

Code ACM : F.1.3 ; F.2 ; F.4.3

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00017858 [disponible]
Z