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

【作者】 马骏；

【导师】 徐扬；

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