张，廖;拉斯·布劳布罗克;Cezary卡利西克;约瑟夫·乌尔班 学习证明变换及其在交互式定理证明中的应用。 （英语） Zbl 07842302号 Sattler，Uli（编辑）等人，《组合系统的前沿》。第十四届国际研讨会，2023年9月20日至22日，捷克共和国布拉格，Frocos 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14279, 236-254 (2023).理学硕士：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，Lect。注释计算。科学。14279，236--254（2023；Zbl 07842302） 全文： 内政部 OA许可证
Cezary卡利西克;Pąk，卡罗尔 将高阶逻辑与集合论形式化相结合。 （英语） Zbl 07702726号 J.汽车。推理 67，第2号，第20号论文，第23页（2023年）。理学硕士：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{K.PąK}，J.Autom。推理67，第2期，第20号论文，第23页（2023；Zbl 07702726） 全文： 内政部 OA许可证
Cezary卡利西克;Pak，卡罗尔 声明性证明翻译（短文）。 （英语） Zbl 07649984号 Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第35条，第7页（2019年）。理学硕士：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{K.Pak}，LIPIcs——莱布尼茨国际程序。通知。141，第35条，第7页（2019年；Zbl 07649984） 全文： 内政部
乍得·E·布朗。;Cezary卡利西克;Pak，卡罗尔 高阶Tarski Grothendieck作为形式证明的基础。 （英语） Zbl 07649958号 Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第9条，第16页（2019）。理学硕士：68V20型 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Brown}等人，LIPIcs——莱布尼茨国际程序。通知。141，第9条，第16页（2019年；Zbl 07649958） 全文： 内政部
Cezary卡利西克;Pąk，卡罗尔 Mizar作为Isabelle对象逻辑的语义。 （英语） Zbl 1468.68290号 J.汽车。推理 63，第3期，557-595（2019）。理学硕士：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{K.PąK}，J.Autom。推理63，No.3，557--595（2019；Zbl 1468.68290） 全文： 内政部 OA许可证