一阶逻辑模型检测问题的核

【作者】 王旌阳

【导师】 傅育熙;

【作者基本信息】 上海交通大学 , 计算机软件与理论, 2010, 硕士