退出
我的积分:
中文文献批量获取
外文文献批量获取
陈练寒; 彭澎;
三峡工程开发总公司;
武汉水利电力大学(宜昌)基础课部;
确定性公理; 选择公理; 力迫法; 集合论;
机译:R-I特殊子集的紧致性和选择公理的一些弱形式
机译:选择公理的实线和弱形式的性质
机译:自由拓扑组中可数公理的两种弱形式
机译:选择理论中的语境与弱公理
机译:通过最大化的公理选择:V = Ultimate L VS强制公理
机译:伪弱R的公理独立性0代数和过滤器
机译:关于Weierstrass紧致伪空间和选择公理的弱形式。
机译:选择的公理选择理论的模型类。
机译:f3用算术公理对任意形式的“ [1,2Sgh1] f(2a)和[1,2Sgh2] f(2n)”定额格式的“ g”数字实施解码程序的任意g功能数字加法器功能结构(SIGMACD)标记f(+ 1,0,-1)和双逻辑微分d1,2 / dn-f1,2(+-)d / dn的“等级2”有效参数和有效逻辑零“ +1”的删除“ 1级”中的“ -1”-“ 0”(俄罗斯逻辑版本)
机译:通过激活方式f1(11)分钟→±0mk非活动参数«±0»→«+1 / -1”模拟信号“最小化”结构«-/ +»[mj] f(+/-)- “附加代码”是根据位置三元表示形式的模拟信号f(+ 1,0,-1)在位置符号条件条件下的模拟信号的公理最小化其结构±[mj] fusl(+/-)min(选项俄罗斯逻辑)
机译:条件“ i”,“求和”求和累加和的“ i”数字的并行串乘乘法器fΣ[ni]&[mi](2 n)的初始变压器的功能结构使用三元表示法f(+1,0,-1)的算术公理,在A的结果总和[SΣ] f(2 n)的形式下,生成部分产品的(2 n)和[mi] f(2 n)位置格式
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。