整体结构及其表示与推理

【作者】 于洋

【导师】 陈火旺; 王戟;

【作者基本信息】 国防科学技术大学 , 计算机科学与技术, 2007, 博士