Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie d. rekursiven Funktionen
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | Tiếng Đức |
| Được phát hành: |
Berlin, Heidelberg, New York
Springer
1971
|
| Loạt: | Heidelberger Taschenbücher
87 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Order eBook: |
|
| Order Book: | Login to order |
Những quyển sách tương tự: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
- Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einf. in die Theorie der rekursiven Funktionen.
- Enumerability, decidability, computability [Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Engl.]. An introd. to the theory of recursive functions
- Aufzählbarkeit und Cantorsches Diagonalverfahren. Untersuchgn zu Grundfragen d. Logik.
- Berechenbarkeit, Komplexität, Logik. Eine Einf. in Algorithmen, Sprachen u. Kalküle unter bes. Berücks. ihrer Komplexität
- Algoritmische Entscheidbarkeit der Theorie der algebraisch abgeschlossenen Körper.
- Entscheidbarkeit und Komplexität der Funktionsgleichheit von Programmen.