学术工具
退出
我的积分:
中文文献批量获取
外文文献批量获取
王月玲;
天津政法管理干部学院,基础理论部,天津,300191;
墨家逻辑; 宽泛性; 直观性; "辩";
机译:结构化普通逻辑程序的语义
机译:格上近似的有充分根据的语义,查询回答和广义普通逻辑程序
机译:普通逻辑程序中的扩展Asp Tableaux和规则冗余
机译:关于扩展逻辑程序,二值逻辑程序和普通逻辑程序的翻译
机译:从维特根斯坦到奎因:20世纪初期分析哲学中逻辑实证主义的兴衰(路德维希·维特根斯坦,W。V. Quine)。
机译:逻辑程序设计预测器官命运中的细胞命运模式并逆转基因型
机译:在普通逻辑中使用逻辑模型来证明操作终止
机译:是否需要更改。帝国兴衰的经济案例研究,以及为什么国家战略叙事可能改变美国帝国的命运
机译:在异步W-CDMA系统中用于上行链路数据传播的正交代码生成器,特别是与生成代码有关,而无需使用普通逻辑电路进行上行链路扩展的生成代码
机译:制造普通逻辑电路和高压MOS电路的集成CMOS的方法
机译:命运哲学机器的语言输出逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。