兰伯特,J.L。 求正整数线性方程组的部分解。 (英语) Zbl 0649.65033号 计算。数学。申请。 209-212(1988)第3期第15页. 审核人:P.斯塔夫尔 MSC公司:65千5 65平方英尺 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Lambert},计算。数学。申请。15,第3号,209--212(1988;Zbl 0649.65033) 全文: 内政部
尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 自动演绎的链接连接方法和相关搜索技术。 (英语) Zbl 0506.68075号 计算。数学。申请。 8, 185-203 (1982).MSC公司:68吨15 68T20型 90B40码 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo},计算。数学。申请。8,185--203(1982年;Zbl 0506.68075) 全文: 内政部