退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:从弱拓扑拟布尔代数刻画拓扑拟布尔代数
D. Umadevi;
机译:拟布尔代数上的拟布尔函数的性质
机译:准布尔代数上LTL的有效多值有界模型检查
机译:准布尔代数上的LTL的高效多值有界模型检查
机译:拓扑拟布尔代数5的有限可嵌入性
机译:展开量子组的SL(2)与拓扑量子田间理论和顶点运算符代数的连接
机译:QuBiLS-MAS开源多平台软件用于基于原子和键的拓扑(2D)和手性(2.5D)代数分子描述符计算
机译:振荡器-穿梭电路(OSC)网络用于调节能量的高阶对称代数拓扑形式和RF相共轭
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。