格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk,卡罗尔 Mizar数学库在Mizar交互式证明开发中的作用。 (英语) Zbl 1433.68530号 J.汽车。推理 61,编号1-4,9-32(2018).MSC公司:68伏15 68V20型 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{G.Bancerek}等人,J.Autom。推理61,No.1--4,9-32(2018;Zbl 1433.68530) 全文: 内政部
阿图尔·科尔尼·奥维茨 米扎尔的明确扩张。为了纪念计算机形式化的先驱安德烈·特雷布利克(Andrzej Trybulec)。 (英语) Zbl 1356.68192号 J.汽车。推理 55,第3期,257-268(2015).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},J.Autom。推理55,No.3,257--268(2015;Zbl 1356.68192) 全文: 内政部
亚当·格拉博夫斯基(编辑);阿图尔·科尔尼·奥维茨(编辑);亚当·纳莫维奇(编辑) 四十年{米扎尔}. 前言。 (英语) Zbl 1336.00111号 J.汽车。推理 55,第3期,191-198(2015).MSC公司:00B15号机组 68吨15 03B35型 03E75型 68-06 03-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski}(编辑)等人,J.Autom。推理55,编号3191-198(2015;兹bl 1336.00111) 全文: 内政部
阿图尔·科尔尼·奥维茨 关于在米扎改写规则。 (英语) Zbl 1260.68376号 J.汽车。推理 50,第2期,203-210(2013).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},J.Autom。推理50,No.2,203--210(2013;Zbl 1260.68376) 全文: 内政部