Miranda-Perea,Favio E。;González Huesca,Lourdes del Carmen酒店;Linares-Arévalo,P.Selene 方程推理的交互式证明研究。 (英语) Zbl 1477.03033号 日志。J.IGPL公司 28,第6期,1155-1181(2020).MSC公司:03B35型 68伏15 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{F.E.Miranda-Perea}等人,《日志》。J.IGPL 28,第6期,1155--1181(2020;Zbl 1477.03033) 全文: 内政部
安德拉德·古兹曼,杰苏斯·毛里西奥;Hernández Quiroz,弗朗西斯科 证明助手中证明逻辑的自然演绎和语义模型Coq公司. (英语) Zbl 1477.03032号 日志。J.IGPL公司 28,第6期,1077-1092(2020).MSC公司:03B35型 03B42型 03B45号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Andrade Guzmán}和\textit{F.Hernández Quiroz},Log。J.IGPL 28,第6号,1077--1092(2020;Zbl 1477.03032) 全文: 内政部