科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
黄益生;
三明学院数学系;
R0-代数; 格; BCK-代数; 公理系统;
机译:在无限Sigma-代数之间定义订单嵌入的公理系统
机译:MV-代数的公理系统的独立性
机译:基本代数公理系统的独立性
机译:将开放式公理重新定位为Poly / ML:面向集成的证明助手和计算机代数系统框架
机译:强迫公理和电晕代数的刚性。
机译:伪弱R的公理独立性0代数和过滤器
机译:用于关系代数的两个公理系统。
机译:通信过程代数(aCp)tau:用于过程规范的通用公理系统
机译:光纤产品用于通信系统的代数几何代码解码过程,涉及对编译的代数代码进行解码,该代数代码定义在由X和Z方程表示的同一代数曲线上
机译:物理系统演化确定方法,涉及处理相对于先前状态的代数表达的代数过程,以获得相对于后类的代数表达
机译:用于对信号进行代数编码以进行代数码本搜索的电路,系统,半导体芯片和移动电话
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。