形式化本体工程中若干问题的研究

【作者】 金龙飞

【导师】 刘磊;

【作者基本信息】 吉林大学 , 计算机软件与理论, 2008, 博士