基于格蕴涵代数的格值逻辑系统的归结自动推理研究

【作者】 孟丹；

【导师】 徐扬；

【作者基本信息】 西南交通大学 ， 交通信息工程及控制， 2004， 博士