科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于机器的测试元素和缩回定理
Danica Jakubíková-Studenovská; Jozef Pócs;
机译:一元代数的检验元素和缩回定理
机译:一元代数的测试元素和缩回定理
机译:使用定理证明系统的基本代数证明练习
机译:基于Internet的测试与传统的测试对基础代数学生的成就和态度的影响。
机译:几何代数是否为贝尔的定理提供了漏洞?
机译:收回一元代数的不可约性
机译:数据类型规范的初始和最终代数语义:两个表征定理
机译:系统分析中测试听觉理论的方法和装置。
机译:一种在系统分析中测试听诊理论的方法和装置。
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。