K.Oota: "一階理論に対する単一名公理の計算法" 日本ソフトウェア科学会論文誌:コンピュータソフトウェア. (採録決定).
K.Oota: "一階理論に対する単一名公理の計算法" 日本ソフトウェア科学会論文誌:コンピュータソフトウェア. (採録決定).
复制标题
K.Oota：“一阶理论的单名公理的计算方法”日本软件科学技术学会期刊：计算机软件（已录用）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
