格拉泽戈兹·班塞雷克;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) 全文: 内政部 OA许可证
阿图尔·科尔尼·奥维茨 Mizar的弯曲连接词。 (英语) Zbl 1387.68207号 计算。语言系统。结构。 44,C部分,238-250(2015).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},计算。语言系统。结构。44,C部分,238--250(2015;Zbl 1387.68207) 全文: 内政部