現在このキーワードページは無効になっています。
| 著者 | M・デーヴィス著/渡辺茂,赤摂也訳 |
|---|---|
| 出版社 | 岩波書店 |
| ジャンル | 専門書 |
| 登録日 | 2002/10/18 |
| リクエストNo. | 12852 |
チューリング・マシン(Turing machine)をモデルとした,再帰的関数論(recursive function theory)の代表的教科書.
| 著者 | M・デーヴィス著/渡辺茂,赤摂也訳 |
|---|---|
| 出版社 | 岩波書店 |
| ジャンル | 専門書 |
| 登録日 | 2002/10/18 |
| リクエストNo. | 12852 |
投票コメント (全1件)
2002/10/18
2002/10/18