袁永丰 基于核心信念的合理代谢修正。 (英语) Zbl 1396.03022号 合成 194,第6期,2121-2146(2017).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yuan},Synthese 194,No.6,2121--2146(2017;Zbl 1396.03022) 全文: 内政部
袁永丰;Ju,Shier先生 信念修正中的理性评价。 (英语) Zbl 1357.03050号 合成 192,第7期,2311-2336(2015).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yuan}和\textit{S.Ju},综合192,第7期,2311--2336(2015;Zbl 1357.03050) 全文: 内政部
斯文·奥夫·汉森 多重和迭代收缩被简化为单步单句收缩。 (英语) Zbl 1211.03028号 合成 173,第2期,153-177(2010). 审核人:David Makinson(伦敦) MSC公司:03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Hansson},综合173,No.2,153--177(2010;Zbl 1211.03028) 全文: 内政部