基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究

【作者】 李文江；

【导师】 徐扬；

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