Monographie
Complexité et décidabilité
1993
200 p.
2-287-00416-5
M/A25(12)
calcul booléen ; complexité ; décidabilité ; fonction récursive ; machine de Turing ; machine universelle ; simulation d'algorithme
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03-01 ; 03B25 ; 03D10 ; 03D15 ; 03D20 ; 03F30 ; 68-01 ; 68Q05 ; 68Q10 ; 68Q15
Pays d'édition : France
Ville d'édition : Paris/Berlin/Heidelberg/New York
Langue : français
Format : 24 cm
Collection : Mathématiques & applications
N° de collection : 012
Bibliographie : Bibliogr. p. 195-197/index
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A25(12) MAT018637 |
F 209.01 - Dawson France [disponible] |
YRéserver |