您要查找的是不是:
- first order predicate calculus formal system 一阶谓词演算形式系统
- NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus 一阶谓词演算自然演绎型直觉主义系统
- first order predicate calculus 一阶谓词演算
- FIRST - ORDER PREDICATE CALCULUS 一阶谓词演算
- pure predicate calculus of first order 一阶纯谓词演算
- 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 一种基于一阶谓词逻辑的模型表示方法
- higher order predicate calculus [计] 高阶谓词演算
- The atomic formula is called atom for short in predicate calculus. 在谓词演算中,有时将原子公式简称为原子。
- His earlier work announced a lyric talent of the first order. 他的早期作品显露了一流的抒情才华。
- Also, first-order predicate calculus isn't good enough anyway. 同时,从各方面来说,一阶谓词演算都不是足够好。
- first order predicate logic 一阶谓词逻辑
- This is not expressible as a first-order predicate calculus property. 这就是一个一阶谓词演算不可表述的属性。
- first order predicate rule 一阶谓词逻辑
- In the refutation tree of predicate calculus, the proved conjunctive formula. 在谓词演算的反驳树中,被证明的合式公式。
- first order predicate 一阶谓词
- Also predicate calculus, which studies the internal structure of simple. 也叫谓语演算,它研究简单马那瓜体的内部结构。
- 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. 贵公司的首批订货辆太少。