退出
我的积分:
中文文献批量获取
外文文献批量获取
李建湘; 邓康; 汤四平;
湖南科技大学数理系;
湘潭;
411201;
命题逻辑; 蕴涵置换法; 离散数学教学; 计算机; 高等教育;
机译:通过主要蕴涵量化命题逻辑中的冲突
机译:古典命题逻辑蕴涵片段的一种新的归一化策略
机译:基于语言真值格蕴涵代数的语言真值格蕴命题逻辑系统lP(X)
机译:基于格蕴涵代数的语言真值命题逻辑框架
机译:命题逻辑中搜索算法的研究及其在生物发光层析成像中的应用。
机译:基于葫芦8尿素的指标置换法在血清中的合理设计与实现
机译:Xor蕴涵和电子蕴涵:基于模糊xor的模糊蕴涵类
机译:凹面优化方法与d'agostino表格在命题逻辑中的等价性
机译:文字蕴涵识别设备,文字蕴涵识别方法和计算机可读记录介质
机译:人工脂质双层膜脂质置换法,利用脂质置换法获得的人工脂质双层膜,人工脂质双层膜形成装置和离子透过率测定装置
机译:顺序置换法的初始近似值的选择方法及采用相同顺序置换法设计的液晶显示装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。