退出
我的积分:
中文文献批量获取
外文文献批量获取
张立群; 鹿旭东; 蒋志方;
山东工业大学计算机系软件教研室;
决策支持系统; 模型库; 一阶谓词逻辑; 模型表示法;
机译:一阶谓词逻辑的制造过程智能建模与分析方法
机译:使用一阶谓词逻辑子类的布尔函数级等价确定方法
机译:(1196)使用一阶谓词逻辑和基于模型的学习支持系统的开发来学习知识产权法的问题解决过程模型的提案
机译:图形和属性集分析:一种用于比较心理模型表示的方法。
机译:T72。基于情节和体素的语篇拼写法在第一阶段非情感性心理障碍中的应用:一种面向过程的方法
机译:基于ILP的基于成本的绑架推断在一阶谓词逻辑上
机译:一阶谓词逻辑模型理论及相关时态逻辑
机译:谓词逻辑公式创建系统,会计日记帐规则创建设备,会计日记帐设备,谓词逻辑公式创建程序,会计规则创建程序以及会计日记帐程序
机译:用于进行从第一阶段到另一阶段的一种或多种成分的大量运输的方法和装置
机译:基于谓词逻辑的图像语法,用于复杂的视觉模式识别
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。