您的位置： 专家智库 > >

河南省自然科学基金(2005JJN-089)

作品数：1 被引量：2H指数：1
相关作者：李刚杨杰更多>>
相关机构：郑州轻工业学院更多>>
发文基金：河南省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇数据结构
  • 1篇命题逻辑
  • 1篇计算机
  • 1篇计算机实现
  • 1篇广义表

机构

  • 1篇郑州轻工业学...

作者

  • 1篇杨杰
  • 1篇李刚

传媒

  • 1篇电脑知识与技...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
命题逻辑等值演算的计算机实现被引量：2
2007年
本文针对等值演算理论,通过数据结构和C++程序设计语言,分析了命题公式的逻辑结构,设计出用广义表单链表的存储结构,并在此基础上探讨了如何实现其基本操作,从而进一步阐明了复杂等值演算的计算机实现算法.
李刚杨杰
关键词：命题逻辑数据结构广义表计算机实现
全选 清除 导出
共1页<1>
聚类工具0