书目详细信息 : 法律知识形式化管理理论及工程方法