連続体の計算可能性理論

連続体の計算可能性理論
复制标题

连续统可计算性理论

DOI:
--
复制
发表时间:
2011
期刊:
京都大学数理解析研究所講究録
影响因子:
--
通讯作者:
木原貴行
木原貴行
中科院分区:
--
文献类型:
--
作者:
Kojiro Higuchi;Takayuki Kihara;岸本督司;木原貴行

文献摘要

相似文献