科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
卢延鑫;
上海社会科学院逻辑学研究室;
上海200025;
关系数据库; 数据库; 关系; 谓词逻辑;
机译:从关系数据库中构建本体/从关系数据库中构建本体/从关系数据库中构建本体
机译:谓词逻辑在本体论层面上描述的实习证件推理中的应用
机译:使用逻辑表达式学习知识产权法的问题解决过程模型:从命题到谓词逻辑的应用
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:活动理论在谓词逻辑形式化中的应用:第一种方法
机译:关系数据库应用程序逆向工程框架
机译:谓词逻辑公式创建系统,会计日记帐规则创建设备,会计日记帐设备,谓词逻辑公式创建程序,会计规则创建程序以及会计日记帐程序
机译:关系数据库,关系数据库中的索引表生成方法,及其在关系数据库中的范围搜索的范围搜索方法和范围搜索方法
机译:用于将if-then-else规则应用于关系数据库中的数据集并从所述规则的应用结果生成链接到所述数据集的诊断数据库以帮助财务数据执行分析的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。