高橋 正子: "論理学の歴史とコンピュータ"数理解析研究所講究録. Vol.1286. 85-100 (2002)
高橋 正子: "論理学の歴史とコンピュータ"数理解析研究所講究録. Vol.1286. 85-100 (2002)
复制标题
Masako Takahashi:“逻辑和计算机的历史”数学分析研究所的 Kokyuroku Vol.1286(2002)。
DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
中科院分区:
文献类型:
--
作者: