约瑟夫·莫里斯(Joseph M.Morris)。;马尔科姆·蒂雷尔 具有无限恶魔和天使不确定性的条件。 (英语) Zbl 1106.68024号 科学。计算。程序。 65,第2期,159-172(2007).MSC公司:68号30 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Morris}和\textit{M.Tyrrell},科学。计算。程序。65,No.2,159--172(2007;Zbl 1106.68024) 全文: 内政部
莫里斯,J.M。;A.邦肯堡。 非确定性函数理论不一致的根源。 (英语) Zbl 1004.68036号 科学。计算。程序。 43,第1期,77-89(2002).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Morris}和\textit{A.Bunkenburg},科学。计算。程序。43,第1号,77--89(2002;Zbl 1004.68036) 全文: 内政部
约瑟夫·莫里斯(Joseph M.Morris)。;亚历山大·本肯堡 E3:在存在偏见的情况下进行等式推理的逻辑。 (英语) Zbl 0939.68107号 科学。计算。程序。 34,第2期,141-158(1999).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Morris}和\textit{A.Bunkenburg},科学。计算。程序。34,第2号,141--158(1999;Zbl 0939.68107) 全文: 内政部
约瑟夫·莫里斯(Joseph M.Morris)。 逐步精化和编程演算的理论基础。 (英语) Zbl 0624.68017号 科学。计算。程序。 9, 287-306 (1987).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Morris},科学。计算。程序。9、287--306(1987年;Zbl 0624.68017) 全文: 内政部