J·阿兰塞。;Domínguez,C。 使用机械化推理工具进行代数操作的案例研究。 (英语) Zbl 1205.68358号 国际期刊计算。数学。 87,第9期,1936-1949(2010).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Aransay}和\textit{C.Domínguez},国际计算机杂志。数学。87,第9号,1936年--1949年(2010年;Zbl 1205.68358) 全文: 内政部
F.A.穆尔津。 REFAL语言的语法属性。 (英语) Zbl 0585.68049号 国际期刊计算。数学。 17, 123-139 (1985). 审核人:A.库什库里 MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Murzin},国际计算机学会。数学。17、123--139(1985年;Zbl 0585.68049) 全文: 内政部