搜索到 篇“ 逻辑公式 “的相关文章

相关作者

张兴芳
作品数：173被引量：466H指数：10
供职机构：聊城大学数学科学学院
研究主题：模糊推理 蕴涵算子族 真度 逻辑系统 蕴涵算子
徐扬
作品数：279被引量：1,111H指数：15
供职机构：西南交通大学数学学院
研究主题：格蕴涵代数 格值命题逻辑 滤子 子句 命题逻辑
何星星
作品数：38被引量：45H指数：4
供职机构：西南交通大学数学学院
研究主题：矛盾体 命题逻辑 一阶逻辑 机器证明 子句
李成允
作品数：23被引量：25H指数：4
供职机构：聊城大学数学科学学院
研究主题：逻辑系统 真度 真值函数 DEL 逻辑公式
魏欧
作品数：64被引量：202H指数：9
供职机构：南京航空航天大学
研究主题：故障树 软件产品线 软件产品 遗传算法 逻辑公式