Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einf. in die Theorie der rekursiven Funktionen.
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | Almanca |
| Baskı/Yayın Bilgisi: |
Berlin, Göttingen, Heidelberg
Springer
1961
|
| Seri Bilgileri: | Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen
109 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| Order eBook: |
|
| Order Book: | Login to order |
Search Result 1
Search Result 2
Search Result 3
Search Result 4
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie d. rekursiven Funktionen
Baskı/Yayın Bilgisi 1971
Kitap
Search Result 5
Methoden der Logik und Mathematik. Statistische Methoden. Dargest. v. Hans Hermes. Erich Mittenecker.
Baskı/Yayın Bilgisi 1968
Kitap
Search Result 6
Search Result 7
Search Result 8
Search Result 9
Search Result 10
Search Result 11
Search Result 12
Search Result 13