On Solutions to Non-Homogeneous Differential Equations with Two Unknowns Through General Way and Laplace Transform and Discuss on Their Unification Raster Dataset projection transform based-on bilinear interpolation approximate grid algorithm

二元非齐次线性微分方程组时域、变换域解及解的 统一 性探讨双线性插值近似 网格的栅格数据投影变换

A new algorithm for Algorithm Tree complement function is proposed . This paper exposes an underlying unification of the existing complementation algorithms . It is proven that unate complementation and sharp are the same as DeMorgan Law algorithm and disjoint sharp is a special case of the recursive method ;

阐述了已有的求补运算算法的潜在 统一 性，证明了单边求补算法、sharp 算法与德·摩根律是等效的算法；

This paper discusses the equation extention method which solves the expres - sion problems in logic program system . The equation logic is implemented efficiently by building the description of the type and improving the unification algorithm on the base of the rewriting mechanism .

讨论了在逻辑程序系统中处理表达式的等式扩展方法，描述了表达式建立类型并在重写机制的基础上改进传统的 合 一操作，实现了高效的等式逻辑。

Based on the optimized decomposition algorithm for the unification problem of the union of disjoint equational theories and the Gaussian elimination method we present a unification algorithm for the general unification problem of the ACUN theory .

基于联合理论合一化问题的优化分解算法和高斯消元法，本文给出了 ACUN理论一般合一 化问题的合一化 算法。

It describes the system using the functional unification grammar and also discusses the matching algorithm syntax analysis and decidable problem analysis .

使用了功能 合一语法对描述系统，对系统中采用的匹配 算法、语法分析及可判定性分析进行了讨论。

A Unification Algorithm for the General Unification Problem in the ACUN Theory

ACUN理论一般合一化问题的合一 化 算法

Unification algorithm with quantifiers

带量词的 合一 算法