Enumerability, decidability, computability : an introduction to the theory of recursive functions
著者
書誌事項
Enumerability, decidability, computability : an introduction to the theory of recursive functions
(Die Grundlehren der mathematischen Wissenschaften, Bd. 127)
Springer, 1969
2nd rev. ed
- タイトル別名
-
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
大学図書館所蔵 件 / 全44件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する