退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过使用自动定理来搜索固定点组合器:初步报告
L. Wos; W. McCune;
机译:利用公共极限范围属性证明统一的公制公共不动点定理
机译:使用隐式函数证明对称空间中扩展类型映射的统一公共不动点定理
机译:在锥Banach空间中使用一般原理证明不动点定理
机译:将简单协商表征为基于分布式主体的定理证明-初步报告
机译:通过翻译成描述逻辑来自动证明定理。
机译:映射的一些固定点定理令人满意的应用程序令人理解不等式与应用程序的模块化空间
机译:表示定理和非经典逻辑的语义学及其在自动定理证明中的应用
机译:自动多种定理证明器
机译:自动化的多排序定理证明器
机译:用于信息处理的自动定理证明的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。