退出
我的积分:
中文文献批量获取
外文文献批量获取
王俊龙;
杂志社;
太极代数; 广义太极代数; 布尔代数; 扩展的布尔代数;
机译:R0代数(幂等最小代数)上的粗糙近似算子及其在形式逻辑L中的应用
机译:使用与逻辑运算相关联的逻辑门构造物理混合系统的故障树,该逻辑门通过布尔代数规则与顶级事件的代数表达相关联,以确定系统的最小割集
机译:锥拟度量空间上广义循环Banach代数压缩的公共不动点与Banach代数Kannan类型的映射。
机译:代数逻辑和代数任意品种的逻辑几何
机译:莱布尼兹代数的广义理想指数和CAP *-子代数
机译:有限域上的代数复杂度和代数曲线
机译:对“广义逻辑系统的定义等价性和可代数性”的勘误,《纯粹逻辑和应用逻辑》年鉴98(1999)1–68
机译:带守卫的过程代数:将Hoare逻辑与过程代数相结合
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
机译:基于Hooji代数原理的多值非逻辑两级连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两级连接方法,基于Hooji代数的多值非逻辑两步连接方法代数,基于Hooji代数原理的多值偶数和非逻辑两阶段连接方法,基于Hooji代数原理的完全值电路的多值完全性和多值缓冲电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。