一种利用扩展广义表来实现逻辑表达式自动推导的算法

作     者：詹玲 黄浩 谢长生 万继光 

作者机构：华中科技大学计算机学院信息存储系统教育部重点实验室湖北武汉430074 

基　　金：国家自然科学基金项目 ( 60 2 73 0 77)资助 国家"973"重大基础研究项目 ( G19990 3 3 0 0 6)资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2004年第25卷第9期

页      码：1680-1683页

摘      要：探讨了如何将数据结构中广义表进行扩展 ,并利用这个扩展广义表来设计逻辑表达式在计算机上的逻辑结构和存储结构 ,以及在这种结构上如何实现逻辑表达式的基本运算 。

主 题 词：扩展广义表 命题逻辑 联接词 合取范式 析取范式 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2004.09.026

馆 藏 号：203557882...