Hermes, Hans
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | His Ein neur vollständigkeitsbeweis, 1937 EDSRC:Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen / Hans Hermes(Springer, 1971) |
生没年等 | 1912 |
から見よ参照 | Hermes, Hans, 1912- |
コード類 | 典拠ID=AU20011805 NCID=DA0121044X |
1 | Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen / Hans Hermes : gw,: us. - 2. Aufl. - Berlin : Springer , 1971 |
2 | Enumerability, decidability, computability : an introduction to the theory of recursive functions / by Hans Hermes ; translated by G.T. Herman and O. Plassmann Berlin ; New York : Springer , 1965 |
3 | Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen / von Hans Hermes Berlin : Springer , 1961 |
4 | Einführung in die Verbandstheorie / von Hans Hermes Berlin : Springer , 1955 |