格拉泽戈兹·班塞雷克;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解析器访问Mizar库。 （英语） 兹比尔1344.68211 Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，77-82（2016）。MSC公司：68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Naumowicz}和\textit{R.Piliszek}，莱克特。注释计算。科学。9791、77--82（2016年；Zbl 1344.68211） 全文： 内政部
亚当·格拉博夫斯基（编辑）;阿图尔·科尔尼·奥维茨（编辑）;亚当·纳莫维奇（编辑） 四十年{米扎尔}. 前言。 （英语） 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，No.3，191--198（2015；Zbl 1336.00111） 全文： 内政部 OA许可证
格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗曼·马图舍夫斯基;亚当·纳莫维奇;Pąk，卡罗尔;约瑟夫·乌尔班 Mizar：最先进和超越。 （英语） Zbl 1417.68201号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 261-279 (2015).MSC公司：68立方英尺 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Bancerek}等人，Lect。注释计算。科学。9150261--279（2015；Zbl 1417.68201） 全文： 内政部