退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:强传递系统递归定理的证明
George D. Birkhoff;
机译:Landau的比赛成绩不等式和传递子比赛定理的简短证明
机译:λ演算的解析证明系统:消除传递性及其重要性
机译:序列中满足大偏差定理的系统的敏感性和传递
机译:方程和归纳定理的证明搜索和证明检查
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:定理证明实例和规则的做法流行病学
机译:关于线性不等式系统完全线性证明的spira定理。
机译:在系统分析中检查命题逻辑定理的方法和装置
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。