退出
我的积分:
中文文献批量获取
外文文献批量获取
施恩伟;
云南师范大学数学系;
Heyting代数; nullary算子; 分配格; 公理系统;
机译:关于Sbl_-代数公理系统的一个注记
机译:Heyting和De Morgan Heyting代数的子代数
机译:刚性指数1微分代数方程离散波形松弛的一个注记
机译:Heyting代数和分布格的可计算性。
机译:关于出色的约旦代数的注记
机译:关于常规De morgan半Heyting代数的一个注记
机译:通信过程代数(aCp)tau:用于过程规范的通用公理系统
机译:和弦注记创建设备,和弦注记创建方法以及和弦注记创建程序
机译:诊断脉冲线路中的阻塞的方法包括将代数函数拟合到测量信号并确定参数的值作为相对于代数函数的一个部分的特征值
机译:检测文件注记波动的装置和检测文件注记波动的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。