科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
张玲;
甘肃联合大学,甘肃,兰州,730000;
逻辑函数; 形式; 转换;
机译:使用与逻辑运算相关联的逻辑门构造物理混合系统的故障树,该逻辑门通过布尔代数规则与顶级事件的代数表达相关联,以确定系统的最小割集
机译:逻辑 - 纬度脉冲转换器输出特性控制的代数方法
机译:多相静态转换器的逻辑代数建模与信息和功率结构综合
机译:代数逻辑和代数任意品种的逻辑几何
机译:在时间序列中比较政权转换模型:逻辑混合与马尔可夫转换。
机译:模糊逻辑代数及其应用
机译:代数逻辑;检验相对论的逻辑结构=代数逻辑;研究相对论的逻辑结构
机译:带守卫的过程代数:将Hoare逻辑与过程代数相结合
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
机译:基于Hooji代数原理的多值非逻辑两级连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两级连接方法,基于Hooji代数的多值非逻辑两步连接方法代数,基于Hooji代数原理的多值偶数和非逻辑两阶段连接方法,基于Hooji代数原理的完全值电路的多值完全性和多值缓冲电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。