|
|
Hans Hermes (1978): Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit - Einführung in die Theorie der rekursiven Funktionen
| Title: |
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit - Einführung in die Theorie der rekursiven Funktionen |
| Author(s): |
Hans Hermes |
| Year: |
1978 |
| Publisher: |
Springer |
| Address: |
Berlin, Heidelberg, New York |
Concepts
|
|
