退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:强大否定的建设性逻辑是一个副结构逻辑。 II
M. Spinks; R. Veroff;
机译:具有强否定性的构造逻辑是一种子结构逻辑。 II
机译:具有强否定性的建构逻辑是一种子结构逻辑。 II
机译:关于偏K值逻辑中Sheffer函数的决策的一些结果。 II
机译:用于重写逻辑的构造语义。
机译:使用模糊逻辑对计算机化准则中的不确定性进行建模。
机译:具有否定性作为子结构逻辑的构造逻辑的后续演算
机译:逻辑程序中的建构性否定
机译:用于任意脉冲模式的负逻辑级-将可负信号和所需的输出施加到与门,并将恒定测试信号施加到或门
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。