証明論と計算量理論

Author(s)

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

Bibliographic Information

証明論と計算量理論

黒田覚 [述]

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

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

Title Transcription

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

Available at  / 8 libraries

Search this Book/Journal

Note

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

監修: 山崎武

参考文献: p49-50

Related Books： 1-1 of 1

Details

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