形式体系と計算理論 : RIMS共同研究

著者

• 京都大学数理解析研究所 キョウト ダイガク スウリ カイセキ ケンキュウショ
• 山崎, 武 ヤマザキ, タケシ

書誌事項

形式体系と計算理論 : RIMS共同研究

（数理解析研究所講究録, 1729）

京都大学数理解析研究所, 2011.2

タイトル別名

Formal systems and computality theory

タイトル読み

ケイシキ タイケイ ト ケイサン リロン : RIMS キョウドウ ケンキュウ

注記

タイトルは表紙による

RIMS研究集会報告集: 2010年9月13日-9月17日. 研究代表者: 山崎武

参考文献: 各論文末

詳細情報

• NII書誌ID(NCID): BB05260225
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [京都]
• ページ数/冊数: ii, 177p
• 大きさ: 26cm
• 親書誌ID:
  • BN06637050