退出
我的积分:
中文文献批量获取
外文文献批量获取
杨之栋;
江苏省常熟市外国语初级中学;
机译:关于命题微积分中定理定理证明的知识库
机译:创设数学思维情境 培养学生思维能力
机译:在向量计算机上命题逻辑中使用定理证明定理广义戴维斯-普特曼程序
机译:学科素养:以中学教师如何让学生参与学科话语为例。
机译:语文教师的控制过程和主观幸福感:生命发展动机理论的关键命题的融合和分歧的证明
机译:使用无置换微积分和循环检查的直觉命题逻辑的定理证明和部分证明搜索
机译:命题模态逻辑的矩阵定理证明器的实现
机译:命题模态逻辑定理证明装置
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:在系统分析中检查命题逻辑定理的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。