该词条未找到_海词词典

您要查找的是不是：

Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed. 给出了一种应用于决策支持系统，基于一阶谓词逻辑的模型表示方法，并分析了此种表示方法的实用性和推理机制.
A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC 一种基于一阶谓词逻辑的模型表示方法
first order predicate logic 一阶谓词逻辑
Representing the meta-meta model with a first order language based on predicate logic, the meta-model turns out to be the interpretation of that formal language. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
first order predicate calculus formal system 一阶谓词演算形式系统
Predicate logic of first order 一阶谓词逻辑
NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus 一阶谓词演算自然演绎型直觉主义系统
third order predicate logic 三阶谓词逻辑
His earlier work announced a lyric talent of the first order. 他的早期作品显露了一流的抒情才华。
higher order predicate logic 高阶谓词逻辑
first order predicate rule 一阶谓词逻辑
first order predicate 一阶谓词
In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。
first order predicate calculus 一阶谓词演算
The little boy has got a brain of the first order. 这小孩有一个一流的头脑。
She was a snob of the first order. 她是天字第一号势利鬼。
Your first order is quite small. 贵公司的首批订货辆太少。
This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用谓词逻辑法举例分析PLC梯形图的编制过程,并分析其优缺点。
We expect payment in advance on first order. 我们希望第一次订货要求预付货款。
It is a diamond of the first order. 这是一颗上等钻石。