退出
我的积分:
中文文献批量获取
外文文献批量获取
董英东;
毕节学院;
西南大学;
三值逻辑; 模态逻辑; 线性翻译; 辩证逻辑;
机译:模态逻辑中的三值逻辑
机译:超模态逻辑理论:模态逻辑中的模式转换
机译:三值逻辑中自对偶函数克隆的格
机译:HOL定理证明器中基于角色的访问控制的模态逻辑。
机译:一种新颖,高效的CNTFET Galois设计作为基本的三值逻辑场
机译:模态逻辑中的Herbrand解释
机译:三值逻辑系统逻辑电路设计装置,三值逻辑系统逻辑电路设计方法以及三值逻辑系统逻辑电路设计程序
机译:三值逻辑系统逻辑电路设计装置,三值逻辑系统逻辑电路设计方法和三值逻辑系统逻辑电路设计程序
机译:在模态逻辑证明模型中检查自然语言的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。