栗原正仁: "Another representation of integers in logic" 情報処理学会論文誌. 34. 536-538 (1993)
栗原正仁: "Another representation of integers in logic" 情報処理学会論文誌. 34. 536-538 (1993)
复制标题
Masahito Kurihara:“逻辑中整数的另一种表示”,日本信息处理学会汇刊 34. 536-538 (1993)。
DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
中科院分区:
文献类型:
--
作者: