| 著者 | 竹内外史 |
|---|---|
| 出版社 | 日本評論社 |
| ジャンル | 専門書 |
| ISBNコード | 9784535782297 |
| 登録日 | 2009/11/01 |
| リクエストNo. | 48579 |
１．テューリングマシン PとNP
２．サーキットと計算量
３．ｍP≠ｍNP、モノトーンとノンモノトーン
４．ｍNC1≠ｍAC1
５．AC0≠NC1
６．証明論的体系
７．フォーシングとP≠NP
２．サーキットと計算量
３．ｍP≠ｍNP、モノトーンとノンモノトーン
４．ｍNC1≠ｍAC1
５．AC0≠NC1
６．証明論的体系
７．フォーシングとP≠NP
投票コメント （全1件）
2010/03/28
2010/03/28