Yamasaki, S. and Iida, K.: "Semantics for logic program by means of substitution sequence manipulation towards transformation into FP program"
Yamasaki, S. and Iida, K.: "Semantics for logic program by means of substitution sequence manipulation towards transformation into FP program"
复制标题
Yamasaki, S. 和 Iida, K.：“通过替换序列操作转换为 FP 程序的逻辑程序语义”
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
