退出
我的积分:
中文文献批量获取
外文文献批量获取
曹锋; 徐扬; 陈树伟; 吴贯锋; 常文静;
西南交通大学信息科学与技术学院 四川成都 610031;
西南交通大学系统可信性自动验证国家地方联合工程实验室 四川成都 610031;
西南交通大学数学学院 四川成都 610031;
数理逻辑; 人工智能; 定理证明; 二元归结; 矛盾体分离规则;
机译:论Herbrand建构逻辑的自然演绎II:一阶逻辑和算术中马尔可夫原理的库里·霍华德对应
机译:在亚里士多德的自然演绎和一阶逻辑之间建立联系
机译:在GWAS应用中使用多元协同在逻辑回归模型中进行交互的特征选择
机译:粗糙集在多元协同空间分析中的应用研究
机译:演绎的面向对象数据库的开发及其在基因组分析中的应用研究
机译:关于经典一阶逻辑的自然演绎:Curry-Howard对应,强归一化和Herbrand定理
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:突变型溶酶体5 P型ATPase ATP13A2及其在神经退行性疾病的诊断和治疗中的应用
机译:演绎系统,演绎设备,演绎方法和计算机程序
机译:急性心肌梗塞治疗中ATP在控制性区域再灌注中的应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。