《模態HERBRAND定理研究》是魏燕俠撰寫的一篇論文，收藏於中國國家圖書館。 基本介紹 中文名：模態HERBRAND定理研究論文作者：魏燕俠導師：李娜學科專業：邏輯學 副題名外文題名學位級別博士論文學位授予單位南開大學學位授予時間2008關鍵字模態邏輯 人工智慧 Herbrand定理館藏號B815.1館藏目錄2010\B815.1\1
