 找不到？搜一下！ |
|
首页 > 会议论文 : 2003年全国理论计算机科学学术年会 关于中介命题演算系统MP<'M>范式的研究
关于中介命题演算系统MP<'M>范式的研究<<2003年全国理论计算机科学学术年会>>2003年
会议论文 会议名称 : 4885473
本文主要研究了关于中介命题演算系统MP<'M>范式,同时还提出了构造等值完全析取范式形成化算法,并证明了等值完全析取范式的存在和唯一性.
|
|
相似文献
- - 关于中介命题演算系统MP<'M>范式的研究 作者:金仁康,毛宇光 会议论文 2003年全国理论计算机科学学术年会 2003年
- - 中介命题演算系统MPM的代数系统 The Algebraic System of MPM 作者:曹汝鸣,毛宇光,陈文彬 学术期刊 数学研究与评论JOURNAL OF MATHEMATICAL RESEARCH AND EXPOSITION 2006年第26卷第4期
- - 中介命题演算系统MPM的公理完备集 The Complete Axiom Set of MPM 作者:曹汝鸣,毛宇光,陈文彬 学术期刊 计算机科学COMPUTER SCIENCE 2006年第33卷第2期
- - MPM中的等值完全析取范式 EQUIVALENT COMPLETE DISJUNCTIVE NORMAL FORM IN MPM 作者:凌方,王建东 学术期刊 广西师范大学学报(自然科学版)JOURNAL OF GUANGXI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION) 2003年第21卷第1期
- - MP<'M>中的等值完全析取范式 作者:凌方,王建东 会议论文 第七届中国人工智能联合学术会议 2003年第7期
- - MPM中介代数的性质 Properties of MPM Medium Algebras 作者:徐雯霞,刘练珍 学术期刊 江南大学学报（自然科学版）JOURNAL OF JIANGNAN UNIVERSITY （NATURAL SCIENCE EDITION） 2009年第8卷第4期
- - 中介命题逻辑的一种无穷值语义模型及其意义 作者:潘正华 会议论文 2007全国理论计算机科学学术年会 2007年
- - 中介命题逻辑的一种无穷值语义模型及其意义 Model of Infinite Valued of Medium Proposition Logic 作者:潘正华 学术期刊 计算机研究与发展JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT 2008年第45卷第z1期
- - 中介命题逻辑系统的强完全性 作者:潘正华 会议论文 第八届全国多值逻辑与模糊逻辑学术会议 1998年第8期
- - 完全析取范式群判定SHOIN(D)-可满足性 Determining the SHOIN(D)-Satisfiability with a Complete Disjunctive Normal Form Group 作者:古华茂,王勋,凌云,高济 学术期刊 软件学报JOURNAL OF SOFTWARE 2010年第21卷第8期