退出
我的积分:
中文文献批量获取
外文文献批量获取
郭菁;
大连理工大学哲学系;
大连116024;
莱布尼茨; 逻辑数学化; 包含原则; 还原主义;
机译:确保对旁观者和居民的健康保护思想开创者:一个数学模型,用于估计植物保护产品的短期和长期接触事件,并提出了分步程序的建议
机译:猫对四级科学生数学思维与逻辑思想的影响
机译:大脑操作系统的物理法律和数学公理以及逻辑与哲学思想的传统基本规律
机译:形式化非正式,规定不精确:模糊逻辑如何通过形式化他们的直观思想来帮助数学家和物理学家
机译:“微观控制论”:数学逻辑,自动机理论和生物学现象的形式化,1936--1970年。
机译:乔治·迈纳斯(George Mines)在心律失常方面的开创性工作:在当代心脏电生理学中仍具有影响力的开创性思想
机译:形式化非正式,精确化不精确:模糊逻辑如何通过形式化他们的直觉思想来帮助数学家和物理学家
机译:配位化学中的数学方法:金属团簇和多面体异构化研究中的拓扑和图论理论思想。
机译:具有思想轮逻辑结构的数据对象生成/控制设备,该思想轮逻辑结构用于从起源自动形成朝向外轮的轮廓及其方法
机译:基于相位边界限定规则从多线程指令缓冲区调度指令,以实现具有更好缓存的数学和数据访问操作阶段
机译:软件实现计算机程序功能测试和非回归测试自动化的方法,包括通过表达输入和输出数据存储库之间的逻辑和数学关系的模型来定义测试
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。