pure predicate calculus.
纯谓词演算
annotated predicate calculus
注解谓词演算
extended predicate calculus.
广义谓词演算
one place predicate calculus
一元谓词演算
restricted predicate calculus
狭义谓词演算
Predicate Calculus and Program Semantics.
谓词演算与程序语义。
The atomic formula is called atom for short in predicate calculus.
在谓词演算中,有时将原子公式简称为原子。
Also predicate calculus, which studies the internal structure of simple.
也叫谓语演算,它研究简单马那瓜体的内部结构。
In the refutation tree of predicate calculus, the proved conjunctive formula.
在谓词演算的反驳树中, 被证明的合式公式。
NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus
一阶谓词演算自然演绎型直觉主义系统
Quantity Limitation and Predicate Calculus in Selection Condition of Composite Objects
复合对象选择条件中的量词约束及谓词演算
Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.
从而形成了模糊谓词演算一种新的语构与语义体系。
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus syntax.
一个合法的谓词演算表达式, 即谓词演算语法所允许的公式。
英文例句大全为您提供predicate calculus英文例句大全,predicate calculus英文造句,关于predicate calculus的英语句子,单词predicate calculus怎么造句,predicate calculus英文例句大全有哪些,哪些英语句子是关于predicate calculus,英语单词predicate calculus的句子,单词predicate calculus如何造句,predicate calculus怎么造句等。