Yi Mao,2003,A Formalism for Nonmonotonic Reasoning Encoded Generics,dissertation,University of Texas at Austin.
英
美
周北海;毛翊;一个关于常识推理的基础逻辑;哲学研究;2003年增刊;第1-10页.
目录
查词历史
英 汉