Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen
著者
書誌事項
Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen
(Die Grundlehren der mathematischen Wissenschaften, Bd. 109)
Springer, 1961
大学図書館所蔵 件 / 全54件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references and index