退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在高阶逻辑中将数学形式化:几何建模中的案例研究
Puitg François; Dufourd Jean-François;
机译:保形几何代数的高阶逻辑形式化及其在验证机器人操纵算法中的应用
机译:高阶逻辑中可靠性框图的形式化
机译:高阶逻辑定理证明中的分式流分量的形式化
机译:几何公差的形式化数学理论及其计算机可读表示
机译:双重深度建模:具有双重效能的多层次建模及其在F-Logic中的形式化
机译:错误到:在高阶逻辑中的故障树形形式化:深度嵌入方法
机译:使用电子笔提供数学学习服务的方法和学习服务器以及数学学习工具系统
机译:N维几何模型,N维几何模型存储装置和方法,N维几何模型显示装置和方法,N维几何模型数据结构,N维几何模型处理系统,程序和存储介质
机译:邮政编码区域的几何地图表示-使用数学逻辑来创建连续的四到六位数字区域,这些区域没有重叠,具体取决于其是建筑区域还是湖泊等。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。