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

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

王伟 姜保庆 徐扬

李建华, 勾治践, 范希梅. 脉冲激光沉积ZnO薄膜的微结构及发光性能[J]. 西南交通大学学报, 2006, 19(6): 709-712.
引用本文: 王伟, 姜保庆, 徐扬. 格值命题逻辑系统LP(X)中广义文字的α-归结域[J]. 西南交通大学学报, 2005, 18(4): 544-547.
LI Jianhua, GOU Zhijian, FAN Ximei. Surface Morphology and Photoluminescence Properties of ZnO Films Deposited with PLD[J]. Journal of Southwest Jiaotong University, 2006, 19(6): 709-712.
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)

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

目录

    /

    返回文章
    返回