形式体系と計算理論 : RIMS共同研究
CiNii
Available at 5 libraries
Bibliographic Information
- Title
- "形式体系と計算理論 : RIMS共同研究"
- Publisher
-
- 京都大学数理解析研究所
- Publication Year
-
- 2011.2
- Book size
- 26cm
- Other Title
-
- ケイシキ タイケイ ト ケイサン リロン : RIMS キョウドウ ケンキュウ
- Formal systems and computality theory
Search this Book/Journal
Notes
タイトルは表紙による
RIMS研究集会報告集: 2010年9月13日-9月17日. 研究代表者: 山崎武
参考文献: 各論文末
- Tweet
Details 詳細情報について
-
- CRID
- 1130000796306440960
-
- NII Book ID
- BB05260225
-
- Country Code
- ja
-
- Title Language Code
- ja
-
- Place of Publication
-
- [京都]
-
- Data Source
-
- CiNii Books