Yi Mao,2003,A Formalism for Nonmonotonic Reasoning Encoded Generics,dissertation,University of Texas at Austin.

 
  • 周北海;毛翊;一個(gè)關(guān)于常識推理的基礎邏輯;哲學(xué)研究;2003年增刊;第1-10頁(yè).
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan