Algorithmen, rekursive funktionen und formaler sprachen
Saved in:
| Main Authors: | Brauer, Wilfried, Indermark, Klaus (Author) |
|---|---|
| Format: | Book |
| Language: | German English |
| Published: |
Mannheim ; Zürich :
Bibliographisches Institut,
1968.
|
| Series: | B.I.-Hochschultaschenbücher
; 817 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Rekursive Folgen
by: Markushevich, A. I. (Alekseaei Ivanovich), 1908-1979
Published: (1955) -
The undecidable :
Published: (1965) -
Θεμελιώσεις επιστήμης Η
Published: (2001) -
Formalized recursive functionals and formalized realizability
by: Kleene, Stephen Cole 1909-
Published: (1969) -
Theory of formal systems
by: Smullyan, Raymond M.
Published: (1961)