退出
我的积分:
中文文献批量获取
外文文献批量获取
周训伟;
北京联合大学信息技术研究所;
经典逻辑; 实质蕴涵; 互逆主义逻辑; 互逆真蕴涵;
机译:从三到一:从同系关系,概率S蕴涵和生存S蕴涵得出的实质含义的等效性和特征
机译:从实质蕴涵的角度回顾蕴涵,否定和聚合函数之间的关系
机译:从物质蕴涵的角度描述由2范数和模糊否定生成的(U2,N)蕴涵的特征
机译:语言真值格蕴涵代数的完全蕴涵三I推理方法
机译:分析蕴涵的说明性原理和逻辑。
机译:布尔蕴涵网络的力量
机译:Xor蕴涵和电子蕴涵:基于模糊xor的模糊蕴涵类
机译:在制造车间层面管理线圈环氧真空蕴涵系统,以在最先进的磁铁组件中实现最终性能
机译:文字蕴涵识别设备,文字蕴涵识别方法和计算机可读记录介质
机译:将PSL的简单子集转换为SERE蕴涵公式,以使用语义保留重写规则通过模型检查和仿真引擎进行验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。