証明論と計算量理論
著者
書誌事項
証明論と計算量理論
（大学院教育改革支援プログラム「理学の実践と応用を志す先端的科学者の養成」, . 大学院GP数学レクチャーノートシリーズ||ダイガクイン GP スウガク レクチャー ノート シリーズ ; GP-TML22）
東北大学大学院理学研究科, 2010.3
- タイトル読み
-
ショウメイロン ト ケイサンリョウ リロン
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
記述: 木原貴行, 吉居啓輔, 井澤昇平
監修: 山崎武
参考文献: p49-50