• ISSN 0258-2724
  • CN 51-1277/U
  • EI Compendex
  • Scopus 收录
  • 全国中文核心期刊
  • 中国科技论文统计源期刊
  • 中国科学引文数据库来源期刊

格值命题逻辑系统LP(X)中广义文字的α-归结域

王伟 姜保庆 徐扬

王伟, 姜保庆, 徐扬. 格值命题逻辑系统LP(X)中广义文字的α-归结域[J]. 西南交通大学学报, 2005, 18(4): 544-547.
引用本文: 王伟, 姜保庆, 徐扬. 格值命题逻辑系统LP(X)中广义文字的α-归结域[J]. 西南交通大学学报, 2005, 18(4): 544-547.
WANG Wei, JIANG Bao-qing, XU Yang. α-Resolution Fields ofGeneralized Literals ofLogic LP(X)[J]. Journal of Southwest Jiaotong University, 2005, 18(4): 544-547.
Citation: WANG Wei, JIANG Bao-qing, XU Yang. α-Resolution Fields ofGeneralized Literals ofLogic LP(X)[J]. Journal of Southwest Jiaotong University, 2005, 18(4): 544-547.

格值命题逻辑系统LP(X)中广义文字的α-归结域

α-Resolution Fields ofGeneralized Literals ofLogic LP(X)

计量
  • 文章访问数:  945
  • HTML全文浏览量:  56
  • PDF下载量:  92
  • 被引次数: 0
出版历程
  • 刊出日期:  2005-08-25

目录

    /

    返回文章
    返回