退出
我的积分:
中文文献批量获取
外文文献批量获取
杨思敏; 李兆鹏; 庄重; 张臻婷;
1. 中国科学技术大学计算机科学与技术学院 2. 中国科学技术大学苏州研究院;
证明生成; 自动定理证明; 整数定理证明; 出具证明编译器;
机译:学生对数学证明和命题证明的证明计划
机译:通过标注的序列证明进行命题抽象分离逻辑的证明搜索
机译:命题证明系统中线性方程组分辨率的复杂公式的多项式模拟与反驳。
机译:关于类型理论中某些形式无法证明的命题和原型证明的证明
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:非线性微分形式的非整数部分的一个不等式猜想的证明
机译:从证明到集中证明:线性逻辑中的模块化模块化证明
机译:交互式编译器使用Hoare证明规则进行证明。
机译:交付证明系统,交付证明系统中的服务器,交付证明方法和交付处理程序证明
机译:时间证明装置,时间证明要求接受装置,时间证明方法,时间证明要求接受方法,时间证明程序,时间证明要求接受程序,时间证明确认程序以及程序记录介质
机译:位置证明设备,时间证明设备,位置证明设备,时间证明设备,位置证明系统和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。