塞萨里·卡利西克;弗洛里安·拉贝 数学形式化语言调查。 （英语） Zbl 1455.68257号 Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12236, 138-156 (2020).MSC公司：68V20型 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{F.Rabe}，莱克特。注释计算。科学。12236，138--156（2020；Zbl 1455.68257） 全文： 内政部 arXiv公司
穆勒，丹尼斯;Thibault Gauthier;塞萨里·卡利西克;迈克尔·科尔哈斯;弗洛里安·拉贝 形式数学系统概念之间的对齐分类。 （英语） Zbl 1367.68309号 Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，83-98（2017）。MSC公司：68立方英尺 68吨15 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.Müller}等人，Lect。注释计算。科学。10383、83-98（2017年；Zbl 1367.68309） 全文： 内政部 链接
曼弗雷德·科伯（编辑）;雅克·卡雷特（编辑）;塞萨里·卡利西克（编辑）;弗洛里安·拉贝（编辑）;沃尔克·索尔格（编辑） 智能计算机数学。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。 （英语） Zbl 1316.68015号 计算机科学课堂讲稿人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-319-20614-1/pbk；978-3-3169-20615-8/电子书）。第22页，第359页。(2015).MSC公司：68-06 68泰克 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kerber}（编辑）等人，《智能计算机数学》。2015年国际会议，CICM，美国华盛顿特区，2015年7月13-17日，会议记录。查姆：斯普林格（2015；Zbl 1316.68015） 全文： 内政部
塞萨里·卡利西克;弗洛里安·拉贝 面向HOL Light的知识管理。 （英语） Zbl 1304.68158号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，357-372（2014）。MSC公司：68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{F.Rabe}，莱克特。注释计算。科学。8543、357--372（2014；Zbl 1304.68158） 全文： 内政部