一种子句重构的增强Tableau算法*
古华茂，高济，王勋，吴海燕
An Enhanced Tableau Algorithm Based on Clause Reorganization
GU Hua-Mao, GAO Ji, WANG Xun, WU Hai-Yan
模式识别与人工智能 . 2009, (4): 532 -540 . 

版权所有 © 《模式识别与人工智能》编辑部
地址：安微省合肥市蜀山湖路350号中国科学院合肥物质科学研究院文情小楼　
邮编：230031
电话：0551-65591176　
E-mail：bjb@iim.ac.cn
技术支持：北京玛格泰克科技发展有限公司