証明論と計算量理論

Author(s)

• 黒田, 覚 クロダ, サトル

Bibliographic Information

証明論と計算量理論

黒田覚 [述]

（大学院教育改革支援プログラム「理学の実践と応用を志す先端的科学者の養成」, . 大学院GP数学レクチャーノートシリーズ||ダイガクイン GP スウガク レクチャー ノート シリーズ ; GP-TML22）

東北大学大学院理学研究科, 2010.3

Title Transcription

ショウメイロン ト ケイサンリョウ リロン

Note

記述: 木原貴行, 吉居啓輔, 井澤昇平

監修: 山崎武

参考文献: p49-50

• NCID: BB01722908
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: [仙台]
• Pages/Volumes: 50p
• Size: 26cm
• Parent Bibliography ID:
  • BA88399892