AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:定理证明实例和规则的做法流行病学
Tyler J. VanderWeele; Elizabeth L. Ogburn;
机译:复述:流行病学实践中的定理,证明,示例和规则
机译:Kochen-Specker定理的证明:乘积规则到和规则的转换
机译:因设计规则或验证测试不充分而导致结构故障的示例
机译:使用超演绎的Tableaux模理论在Zenon自动定理证明器对B证明规则的验证中的应用
机译:(新)直接乘积定理的新证明。
机译:光学定理的推广:径向偏振光束的实验证明
机译:$ Pi ^ 1_1 $-带有$ omega $规则的分析子系统的割除定理的无序证明(逻辑和计算结构的证明理论研究)
机译:通过应用值和规则来确定提议的逻辑定理,这些值和规则是根据布尔公式生成的三元组
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。