Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie d. rekursiven Funktionen
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | Almanca |
| Baskı/Yayın Bilgisi: |
Berlin, Heidelberg, New York
Springer
1971
|
| Seri Bilgileri: | Heidelberger Taschenbücher
87 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 840359 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Hermes, Hans | |
| 245 | 1 | 0 | |a Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. |b Einführung in die Theorie d. rekursiven Funktionen |
| 246 | 3 | |a HERMES, Hans: | |
| 264 | 1 | |a Berlin, Heidelberg, New York |b Springer |c 1971 | |
| 300 | |a 246 S. |b Mit 3 Abb. |c 8° | ||
| 490 | 0 | |a Heidelberger Taschenbücher |v 87 | |
| 500 | |a HERMES, Hans: -- Aufzählbarkeit,Entscheidbarkeit,Berechenbarkeit.Ein= -- führung in die Theorie d.rekursiven Funktionen.Mit -- 3 Abb.2.Aufl. - Berlin,Heidelberg,New York:Springer -- 1971.246 S.8° -- (Heidelberger Taschenbücher.87.) -- 1.Aufl.erschien 1961 als Bd 109 in d."Grundlehren d. -- mathematischen Wissenschaften". -- 1987:B 2683. -- Ir. | ||
| 852 | |c T 10.087/87 | ||
| 999 | |a Monographie | ||
| 591 | |a description: oHERMES,Hans:Auf zählbarkeit, Entscheidbarkeit, Berechenbarkeit. Ein führung in die Theorie d.rekursiven Funktionen.Mit3 Abb.2.Aufl. Berlin,Heidelberg,New York:Springer1971.246 S.8 Heidelberger Taschenbücher.87. l. Auf l. erschien 1961 als Bd Io9 in d. Grundlehren d,mathematischen Wissenschaften .1987:B 2683. |a signature: T 10.087,0, |a published: 1987 | ||