推論の媒体と証明手続きの視覚化としての図形－『算術的求積』命題6の証明の分析－
推論の媒体と証明手続きの視覚化としての図形－『算術的求積』命題6の証明の分析－
复制标题
数字作为证明程序的推理和可视化媒介——“算术求积”命题6的证明分析——
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
稲岡大志
中科院分区：
文献类型：
--
作者：
ジョン・ロールズ （神島裕子;福間聡 訳）;和泉悠;三木那由他;稲岡大志;三木那由他;稲岡大志
