丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 在离散数学中自动改变证明的表示(扩展版)。 (英语) Zbl 1409.68261号 数学。计算。科学。 10,第4期,429-457(2016).MSC公司:第68页第15页 68卢比 第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Raggi}等人,《数学》。计算。科学。10,第4号,429--457(2016;Zbl 1409.68261) 全文: 内政部
陈晓宇(编辑);王东明(编辑);张向良(编辑) 特别关注数学、数据和知识的前言。 (英语) Zbl 1304.00028号 数学。计算。科学。 7,第4期,379-386(2013).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}(编辑)等,《数学》。计算。科学。7,第4号,379--386(2013;Zbl 1304.00028) 全文: 内政部
迈克尔·科尔哈斯;弗洛里安·拉贝 的语义OpenPath(OpenPath)和数学ML3. (英语) Zbl 1271.68221号 数学。计算。科学。 6,第3期,235-260(2012).MSC公司:68立方英尺 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{F.Rabe},数学。计算。科学。6,第3号,235-260(2012;Zbl 1271.68221) 全文: 内政部