退出
我的积分:
中文文献批量获取
外文文献批量获取
滕定明;
广西师范大学文学院;
命题逻辑; 语用; 化简公式; 优范式;
机译:迷失在翻译中:命题逻辑中的语言独立性-应用于信念改变
机译:一种基于直觉模糊命题逻辑的新颖合理推理及其在决策中的应用
机译:几种命题逻辑系统中命题优劣的统一集成方法及其应用
机译:迷失在翻译中:命题逻辑中的语言独立性-在信仰修订和信仰合并中的应用
机译:命题逻辑中搜索算法的研究及其在生物发光层析成像中的应用。
机译:现场粘弹性止血分析在心脏手术中出血管理中的成本效益:前瞻性多中心语用研究的协议采用阶梯楔形群随机对照设计和1年随访(IMOTEC研究)
机译:一阶经典公式的决策方法及其在非经典命题逻辑决策中的应用(基础研究及其应用)
机译:凹面优化方法与d'agostino表格在命题逻辑中的等价性
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
机译:在系统分析中检查命题逻辑定理的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。