关键词： 二值命题逻辑系统 有效推理 概率 随机真度 F度
作者: 惠小静
作者单位: 延安大学数学与计算机科学学院,陕西延安,716000
会议类型: 国内会议
会议名称: 中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会
会议地点: 上海
会议语种:中文
页码: 6-6
在线出版日期: 2012-10-01（万方平台首次上网日期，不代表论文的发表时间）