形式体系と計算理論 : RIMS共同研究
CiNii
所蔵館 5館
書誌事項
- タイトル
- "形式体系と計算理論 : RIMS共同研究"
- 出版者
-
- 京都大学数理解析研究所
- 出版年月
-
- 2011.2
- 書籍サイズ
- 26cm
- タイトル別名
-
- ケイシキ タイケイ ト ケイサン リロン : RIMS キョウドウ ケンキュウ
- Formal systems and computality theory
この図書・雑誌をさがす
注記
タイトルは表紙による
RIMS研究集会報告集: 2010年9月13日-9月17日. 研究代表者: 山崎武
参考文献: 各論文末
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1130000796306440960
-
- NII書誌ID
- BB05260225
-
- 出版国コード
- ja
-
- タイトル言語コード
- ja
-
- 出版地
-
- [京都]
-
- データソース種別
-
- CiNii Books