退出
我的积分:
中文文献批量获取
外文文献批量获取
肖建杰;
北京建筑大学文法学院 北京,100044;
以人为本; 执政理念; 逻辑和历史演绎;
机译:验证逻辑中的发现:在假设演绎演绎中故意出现,补充和替代归纳推理
机译:演绎法和色彩演绎法:通过教育游戏增强逻辑推理
机译:论Herbrand建构逻辑的自然演绎II:一阶逻辑和算术中马尔可夫原理的库里·霍华德对应
机译:如何将人以人为本的设计进程(HCDP)应用于软件开发过程?
机译:关于演绎主义:对非正式逻辑中演绎主义的批判性考察。
机译:以人为本医学的概念探索2010:以人为本医学和精神病学的历史观点
机译:库亚巴市护理工作的历史进程 - 马托格罗索库亚巴市市区护理工作的历史进程 - 库亚巴市护理工作的历史进程 - 马托格罗索
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:根据最近执行的进程类型和多种进程之间的历史执行计数,在多个存储设备之间进行作业进程交换
机译:用于执行图像编码的系统,例如编码或解码,具有编码逻辑单元,当确定当前像素使用索引颜色历史进行编码时,该编码逻辑单元将像素作为索引值编码到索引颜色历史中
机译:用于自定时单调逻辑进程的矢量逻辑方法和动态捕鼠器逻辑门
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。