退出
我的积分:
中文文献批量获取
外文文献批量获取
侯振挺; 王世强; 阎国军;
中南大学数学学院,长沙410075;
北京师范大学数学学院,北京100875;
郑州大学数学学院,郑州450001;
模型论; 剩余类环;
机译:选择公理和广义连续假设与集合论公理的一致性
机译:关于Sbl_-代数公理系统的一个注记
机译:关于等级依赖效用的Luce-Fishburn公理化的一个注记
机译:关于二维模态逻辑公理化的一个注记
机译:使用集合论对产品概念设计过程进行建模的公理方法。
机译:关于策尔梅洛和冯·诺伊曼的集合论公理
机译:公理集合论的一个例子
机译:关于Rushby对容错时间触发算法的系统形式验证中不一致公理的一个注记
机译:和弦注记创建设备,和弦注记创建方法以及和弦注记创建程序
机译:上一个求和器f Σ Sub>([n i Sub>]&[n i Sub>,0])的函数结构,条件为“ i”和“ i + 1”乘方[n i Sub>] f(2 n Sup”的位置参数的并行系列乘数f Σ Sub>(Σ)的“ k”组的数字>)在三元数系统f(+ 1,0,-1)的算术公理中的应用(俄罗斯逻辑版本)
机译:检测文件注记波动的装置和检测文件注记波动的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。