Feng,Su: "Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning" Lecture Notes in Computer Science. 722. 256-271 (1993)
Feng,Su: "Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning" Lecture Notes in Computer Science. 722. 256-271 (1993)
复制标题
冯苏：《动态术语重写微积分及其在归纳方程推理中的应用》计算机科学讲义。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
