Predicate logic with equality
带同异性的谓词逻辑
Application of Predicate Logic in Question Answering System
谓词逻辑在答疑系统中的应用
It takes a plural predicate verb. predicate logic with equality
但要使用复数谓语动词。带同异性的谓词逻辑
Problem of Rigid Assignment to Variables in Predicate Modal Logic
谓词模态逻辑中变量的严格指派问题
Authors designed a kindred automatic reasoning model based on oneorder predicate logic.
用一阶谓词逻辑设计了一个亲属关系的自动推理模型。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
At the first point of the logic of the predicate, there is established the opposition between contraries and contradictories.
在述词的逻辑的第一阶段，就存在着相反与矛盾的对立。
英文例句大全为您提供predicate logic英文例句大全,predicate logic英文造句,关于predicate logic的英语句子,单词predicate logic怎么造句,predicate logic英文例句大全有哪些,哪些英语句子是关于predicate logic,英语单词predicate logic的句子,单词predicate logic如何造句,predicate logic怎么造句等。