1, Equational Programming Language (EP) is a novel intelligence language.

2, These equational laws are similar to those used in mathematics to show that two expressions are equivalent.

3, The Equational Sentence and the Equative sentence are similar in form, but are quite different if analyzed semantically.

4, Problems of equational realizations of separable functions and nonseparable functions are discussed by using this method in this paper.

5, This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

6, A new arithmetic using relativity to judge array ambiguity is introduced. The shortage of equational arithmetic when array is complex and arithmetic of searching the spectrum peaks is conquered.

7, Cooperated now on market multifarious, dimension no longer onefold books, broke the fixed frame of traditional bookshelf, the limitation with equational space, use rise convenient freely.

8, Power divider is the indispensably part, this paper designs microstrip power divider,[http:///equational.html] equational and not equational.

9, Induced a kind of convenient procedure for the solution of the linearity equational group.

10, It can be proved that MRRC yields asymptotic stability through theoretical analysis and equational results. At last the effective result is proved by the simulation curves.

11, In this paper, an explicit induction method in rewriting systems is proposed, and a new algorithm based on it is designed to prove inductive theorems of equational systems.

12, The similarity method of mass flow, as it is called in this paper, is different from the methods of equational analysis and the dimensional analysis.

13, By means of constructional iterative equation, this paper presents a way to give out the existence and singularity of a type of equational root with gradual approach method.