POTU周博通
POTU主页 | 下载RSS阅读器 | 频道导航 | 帮助
南京大学学报数学半年刊：

极小蕴涵和析取范式表示(英文)

  2007-02-05 08:00:00
南京大学学报数学半年刊
频道地址：http://rss.cnki.net/grid20/rss.aspx?journal=SXXT&Virtual=grid20
离线订阅：有0个用户使用《POTU周博通 资讯阅读器》订阅此频道
网站名称：其它  Tag(2)  评论(0)  与好友共享    举报
频道简介：
标签TAG：中国期刊  期刊导航  
相关TAG：
最近更新：2008-02-22 06:50:02
极小蕴涵和析取范式表示(英文)
来自： 南京大学学报数学半年刊  2007-02-05 08:00:00
作者：陈新宁;陈振宇;
摘要：析取范式的极小表示是命题逻辑和计算机科学理论中的一个重要问题．本文研究了在若干极小标准下的蕴涵和析取范式表示的一些性质,并阐述了极小蕴涵和极小析取范式表示在模型检测中的应用．..

还没有人对本文章进行了评论,欢迎您发表评论！


（请输入验证字符串）        (审核通过后才能显示)
喜欢这篇文章的人还看了
推荐阅读
相关频道
  • 南京大学学报(自然科学版)
  • 南京工程学院学报(社会科学版)
  • 南京工程学院学报(自然科学版)
  • 南京工业大学学报(自然科学版)
  • 南京工业职业技术学院学报
  • 南京广播电视大学学报
  • 南京航空航天大学学报
  • 南京航空航天大学学报(社会科学版)
  • 南京工业大学学报(社会科学版)
  • 南京建筑工程学院学报(社会科学版)
  • 查看所有频道..
    		•
    正在提交，请稍候……
    2008 POTU周博通 Supported by VOHOT,VSHARP   下载RSS阅读器   琼ICP备05003482号
    提交成功...