退出
我的积分:
中文文献批量获取
外文文献批量获取
常晋义; 陶世群; 郑成增;
常熟高等专科学校计算机系;
常熟;
215500;
山西大学计算机科学系;
太原;
030006;
常州工学院计算机系;
常州;
213021;
演绎数据库; 推理机; 递归查询; 线性递归逻辑程序; 约束模型;
机译:ROL演绎的面向对象数据库系统的设计与实现
机译:推理,机器人和导航:演绎推理和演绎推理的双重角色
机译:验证逻辑中的发现:在假设演绎演绎中故意出现,补充和替代归纳推理
机译:异构演绎面向对象数据库系统的高效设计与实现
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:演绎推理脑网络:一种基于坐标的演绎推理中神经签名的荟萃分析
机译:Relationlog演绎数据库系统的设计与实现
机译:演绎数据库系统和完整性约束检查
机译:利用演绎推理和演绎推理进行语境感知的装置和方法
机译:使用演绎推理和归纳推理进行情境感知的设备和方法
机译:一种促进数学和几何学教学的设备,可用于逻辑推理和演绎中的教与学
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。