Differential Calculus in Second Order Arithmetic (短期共同研究 照明論と計算論)
Differential Calculus in Second Order Arithmetic (短期共同研究 照明論と計算論)
复制标题
二阶算术中的微分学(短期合作研究:照明理论和计算理论)
DOI:
--
复制
发表时间:
2005
期刊:
影响因子:
--
通讯作者:
横山 啓太
中科院分区:
文献类型:
--
作者:
横山 啓太