退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:对等式和归纳定理的证明搜索和证明检查
Eric Deplagne; Claude Kirchner; Hélène Kirchner; Quang Huy Nguyen;
机译:Fishburn和Mirkin定理和Scott-Suppes定理的简单归纳证明。
机译:微分和积分方程理论中唯一性定理的拓扑证明
机译:基于定理证明检查对象-Z正式规范的一致性
机译:方程和归纳定理的证明搜索和证明检查
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:定理证明实例和规则的做法流行病学
机译:使用无置换微积分和循环检查的直觉命题逻辑的定理证明和部分证明搜索
机译:证明检验,定理证明和程序验证。
机译:耐腐蚀电缆油含量降低的方法,耐腐蚀电缆检查时间的预测方法,耐腐蚀电缆寿命的预测方法和耐腐蚀电缆检查方法
机译:液压防振装置的油位检查装置和使用该装置的液压防振装置
机译:锚固螺栓必要连接强度检验系统及锚固螺栓必要连接强度检验方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。