Complexité et décidabilité / Patrick Dehornoy [ Livre]
Langue: Français.Publication : Paris, Berlin, Heidelberg [etc.] : Springer, cop. 1993Description : 200 p. ; 25 cmISBN: 2287004165; 3540568999.Collection: Mathématiques & applications, 12Classification: 515 Application des mathématiquesSujet - Nom commun: Décidabilité (logique mathématique) | Complexité de calcul (informatique)| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Mathématiques | 515 DEH (Browse shelf) | Available | 515 Application des mathématiques | 00001829 |
Bibliogr. p. 195-195. Index
Bibliogr., index