金指文明, 富樫敦: "π計算に対する証明システム" ソフトウェア光学の基礎IV,FOSE'97ワークショップ論文集,近代科学者社. 20-27 (1997)
金指文明, 富樫敦: "π計算に対する証明システム" ソフトウェア光学の基礎IV,FOSE'97ワークショップ論文集,近代科学者社. 20-27 (1997)
复制标题
Fumiaki Kanasashi、Atsushi Togashi：“π 计算的证明系统”软件光学基础 IV，FOSE97 研讨会论文集，Kindai Kagakushasha 20-27 (1997)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
