退出
我的积分:
中文文献批量获取
外文文献批量获取
魏静玉;
华南理工大学 广东 广州 510000;
假言判断; 假言推理; 逻辑形式;
机译:通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
机译:普适逻辑与亚里士多德逻辑:逻辑的形式与本质
机译:西尔维亚·塔拉巴(Sylvia Taraba):只能成对玩的游戏。性与逻辑的奇怪循环。第1卷:逻辑。乔治·斯宾塞·布朗的“形式规律”的逻辑学
机译:通过教育机器人学习汉语为第二语言,将条件逻辑在计算思维中的运用与因果句的运用相结合
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:运用变革的逻辑理论加强政策研究的应用:加勒比地区循证决策网络案例研究
机译:在一个形式的逻辑与实践的逻辑之间:教育知识的调解之间的一种形式的教育方法:一种形式的教育方法
机译:Baeten的死区校正形式对多重计数的运用
机译:运用操作逻辑建模和比较分析的移动通信网络问题检测装置及方法
机译:运用神经模糊逻辑控制材料添加过程的方法和直接能量沉积材料添加系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。