Computability and decidability : an introduction for students of computer science [monographie] |
| Auteur(s): | Loeckx, Jacques (1931-....) |
| Langue: | anglais |
| Collection: | Lecture notes in economics and mathematical systems, n° 68 |
| Editeur, date d'édition: | Springer, 1972 |
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New York (US) |
| ISBN: | 0-387-05869-9 ; 3-540-05869-9 |
| ISSN: | 0075-8442 |
| Classification MSC: | 68-01 (2000) |
| Notes: | vi ; fig. ; appendix 1 bibliogr. notes pp. 71 ; appendix 2-3 pp 72-76 ; 25 cm ; 76 p. |
| Thèmes: | machine turing, sequential machine theory, turing machines |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 LOE 72 | Disponible |