E-unification; Unification theory; most general unifier; shape of tree; syntactic unification;
机译:一个完整的解决方案分类和统一算法处理,对单步非对称S横向质量
机译:使用形状衍生物和自动代码生成涉及麦克斯韦方程的几何逆问题的高效数值解
机译:基于学生采用最优模糊 - GSO算法的学生行为分析的基于学生行为分析的高效技术
机译:一种高效的自动成权机生成算法
机译:利用广义统一的修正的除数表示法检测和积分高振荡的常微分方程的算法。
机译:自动生成组合轨道计数方程的算法
机译:通过广义局部计算自动生成有效的字符串匹配算法