书目详细信息 : 基于认知的自然语言自动形式化研究