...
机译:谓词逻辑的面向制造的离散过程建模方法
University of Electronic Science and Technology of China, Chengdu;
Discrete process; intelligent modeling; performance simulation.; predicate logic;
机译:一阶谓词逻辑的制造过程智能建模与分析方法
机译:预测门,组件和空间逻辑处理器
机译:谓词选择和合成处理器的综合中的连续逻辑函数表示。
机译:使用逻辑表达式学习知识产权法的问题解决过程模型:从命题到谓词逻辑的应用
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:Taguchi法和模糊逻辑法在多孔同时钻井工艺参数的优化和建模中的应用
机译:通过谓词逻辑处理自然语言的语法和语义
机译:一阶谓词逻辑模型理论及相关时态逻辑