退出
我的积分:
中文文献批量获取
外文文献批量获取
严伟; 孙希文;
山东省沂南县第二中学;
273000;
山东省胶州市第三中学;
266300;
数学归纳法; 证明; 命题; 假设条件; 正整数; 结构式; 高中;
机译:设计自动化,结合了命题逻辑的证明策略
机译:学生对数学证明和命题证明的证明计划
机译:命题公式和命题证明的元复杂性
机译:通过归纳法使用证明来查找“传统”证明
机译:在使用数学计算工具的情况下了解功能,证明和数学建模:中学数学教师及其策略和联系。
机译:语文教师的控制过程和主观幸福感:生命发展动机理论的关键命题的融合和分歧的证明
机译:利用数学谈判策略利用数学认识的现代策略,使用数学谈判策略在小学生中发展深入数学理解
机译:归纳法对格雷斯定理的证明
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。