連続体の計算可能性理論 (形式体系と計算理論)

この論文にアクセスする

この論文をさがす

著者

収録刊行物

  • 数理解析研究所講究録

    数理解析研究所講究録 1729, 48-66, 2011-02

    京都大学

各種コード

  • NII論文ID(NAID)
    110008425413
  • NII書誌ID(NCID)
    AN00061013
  • 本文言語コード
    JPN
  • 資料種別
    特集
  • 雑誌種別
    大学紀要
  • ISSN
    18802818
  • NDL 記事登録ID
    11018142
  • NDL 雑誌分類
    ZM31(科学技術--数学)
  • NDL 請求記号
    Z43-1336
  • データ提供元
    NDL  NII-ELS  IR 
ページトップへ