退出
我的积分:
中文文献批量获取
外文文献批量获取
杨志; 马光胜; 张曙;
哈尔滨工程大学计算机科学与技术学院;
哈尔滨;
150001;
哈尔滨工程大学信息与通信工程学院;
高层次数据通路; 等价验证; 多项式符号代数; 形式验证; 电子设计自动化;
机译:符号动力系统的强位移等价与C〜*-代数的森田等价
机译:关于使用依赖图进行局部符号模拟的C语言描述等价性验证方法的建议
机译:基于线性代数的Gr(o)bner基算法在布尔多项式环上实现符号预处理功能
机译:使用有限环代数等价验证具有固定大小位向量的多项式数据路径
机译:符号里斯代数和多项式。
机译:零代数域中的ZEROS LIE的多项式的代数刻画
机译:基于有限环代数的固定大小位向量多项式数据通路的等价性验证
机译:冯诺依曼代数的morita等价的双分类方法
机译:等价验证程序,计算机可读记录介质等价验证程序,等价验证设备和等价验证方法
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。