退出
我的积分:
中文文献批量获取
外文文献批量获取
黄雪琴; 耿强;
海南经贸职业技术学院信息系,海南海口571127;
海口经济学院信息工程学院,海南海口570203;
卡诺图; 最小项; 质蕴涵项; 逻辑代数;
机译:退化简并子代数的非退化梯度李代数
机译:使用与逻辑运算相关联的逻辑门构造物理混合系统的故障树,该逻辑门通过布尔代数规则与顶级事件的代数表达相关联,以确定系统的最小割集
机译:代数中的代数逻辑和逻辑几何类型
机译:电力系统应用的开源线性代数工具和并行化简介
机译:通过代数和逻辑工具调查量子计算
机译:模糊逻辑代数及其应用
机译:代数逻辑;检验相对论的逻辑结构=代数逻辑;研究相对论的逻辑结构
机译:带守卫的过程代数:将Hoare逻辑与过程代数相结合
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
机译:基于Hooji代数原理的多值非逻辑两级连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两级连接方法,基于Hooji代数的多值非逻辑两步连接方法代数,基于Hooji代数原理的多值偶数和非逻辑两阶段连接方法,基于Hooji代数原理的完全值电路的多值完全性和多值缓冲电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。