退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:亚里士多德从普遍数学的论点反对存在柏拉图式的形式
PIETER SJOERD HASPER;
机译:亚里士多德的论证形式体系
机译:伯吉斯关于数学对象存在的“科学”论证?
机译:将使用场景和非正式论证相结合,以促进普遍访问:“普遍访问评估研讨会”方法的经验
机译:亚里士多德在数学,逻辑和计算性基础上的特殊性的重要性 - 戈德尔和正式不可透明的算术主张
机译:以某种方式存在:解决亚里士多德数学哲学中的紧张局势
机译:数学上通用且生物学上一致的星形细胞瘤基因型编码转化并预测存活表型
机译:根据亚里士多德,欧几里德等数学现状的存在,实质性和反应性观察
机译:f CD Sub>(Σ) RU Sub>附加条件条件位“ j”的功能输出结构,具有最小化的过程循环ΔtΣ Sub>中间参数( 2 Sup> S j Sub>) 2 Sup> d1 / dn Sub>“等级2” AND( 1 Sup> S j Sub>) 2 Sup> d1 / dn Sub>第二级和中间参数的“级别1”( 2 Sup > S j Sub>) 1 Sup> d1 / dn Sub>“等级2” AND( 1 Sup> S j Sub>) 1 Sup> d1 / dn Sub>“互补码RU”格式第一项的“级别1”,并生成结果和((Sup> 2 Sup > S j Sub>)f(2 n Sup>)“级别2” AND( 1 Sup> S j Sub>)f(2 n Sup>)格式相同的“等级1”(俄罗斯逻辑版本)
机译:乘积[n]&[m] f(h)乘积[m] f(2)的论证和乘数[n] f(2)的论证生成方法-金字塔乘数的“附加代码”用于后续逻辑解码f(CD?)的f(??)和格式中结果和的生成[S] f(2)-“附加代码”及其实现的功能结构(俄罗斯逻辑版本)
机译:将位置符号参数±[n j Sub>] f(+/-)转换为参数结构[[n j Sub>] f(+/-)的方法min Sub>,其中活动参数的数量最少,并且采用了表示方法的功能结构(俄罗斯逻辑版本)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。