退出
我的积分:
中文文献批量获取
外文文献批量获取
李玉荣;
甘肃省武威第一中学;
高考作文; 命题; 逻辑;
机译:二阶命题模态逻辑:表达性和完整性结果
机译:数字链接问题命题逻辑表达式编码方法的评价
机译:使用逻辑表达式学习知识产权法的问题解决过程模型:从命题到谓词逻辑的应用
机译:协作计算机写作程序和建构主义教学策略对高中高级发展作家写作质量和态度的影响。
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:关于六年级命题逻辑教学和学习的教学策略的建议
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑
机译:从命题逻辑证明可满足逻辑公式的加密手段
机译:时间逻辑表达创建支持系统,时间逻辑表达创建支持方式以及用于时间逻辑表达创建支持的程序
机译:海洋无线电频道命题设备,海洋无线电频道命题计划和海洋无线电频道命题方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。