迈克尔·科尔哈斯;弗洛里安·拉贝 出口主要校样助理库的经验。 （英语） Zbl 07461271号 J.汽车。推理 65，第8期，1265-1298（2021）.MSC公司：第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{F.Rabe}，J.Autom。推理65，No.8，1265--1298（2021；Zbl 07461271） 全文： 内政部 arXiv公司
雅克·卡雷特;Farmer，William M。;迈克尔·科尔哈斯;弗洛里安·拉贝 大数学和单脑障碍：数学知识的四足模型。 （英语） Zbl 1493.68391号 数学。智力。 43，编号1，78-87（2021）. 审核人：Truong Hoang Le（河内） MSC公司：68伏xx 00A30型 00A35型 01A65号 01A67号 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，数学。智力。43，编号1，78--87（2021；Zbl 1493.68391） 全文： 内政部
丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 在离散数学中自动改变证明的表示（扩展版）。 （英语） Zbl 1409.68261号 数学。计算。科学。 10，第4期，429-457（2016）.MSC公司：68吨15 68卢比 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Raggi}等人，《数学》。计算。科学。10，第4号，429--457（2016；Zbl 1409.68261） 全文： 内政部
丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 在离散数学中自动改变证明的表示。 （英语） Zbl 1409.68260号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 227-242 (2015).MSC公司：68吨15 68卢比 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Raggi}等人，Lect。注释计算。科学。9150227--242（2015；Zbl 1409.68260） 全文： 内政部 arXiv公司
塞萨里·卡利西克;弗洛里安·拉贝 面向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） 全文： 内政部
弗洛里安·拉贝 结合模型和证明理论的逻辑框架。 （英语） Zbl 1326.03082号 数学。结构。计算。科学。 23，第5期，945-1001（2013）. 审核人：Răzvan Diaconescu（普洛伊斯蒂） MSC公司：03G30型 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，数学。结构。计算。科学。23，第5号，945--1001（2013；Zbl 1326.03082） 全文： 内政部
弗洛里安·拉贝;迈克尔·科尔哈斯 可扩展模块系统。 （英语） Zbl 1358.68283号 Inf.计算。 230, 1-54 (2013).MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}和\textit{M.Kohlhase}，Inf.Compute。230、1-54（2013年；Zbl 1358.68283） 全文： 内政部
多米尼克·迪特里希;埃瓦里斯特·舒尔茨 Crystal：将结构化查询集成到策略语言中。 （英语） Zbl 1185.68618号 J.汽车。推理 44，编号1-2，79-110（2010）.MSC公司：68吨15 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietrich}和\textit{E.Schulz}，J.Autom。推理44，No.1--2，79-110（2010；Zbl 1185.68618） 全文： 内政部
安德鲁斯，彼得·B·。;乍得·E·布朗。 TPS：用于开发证据的混合自动交互系统。 （英语） Zbl 1107.68091号 J.应用。日志。 4，第4期，367-395（2006）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Andrews}和\textit{C.E.Brown}，J.Appl。日志。4，第4号，367--395（2006；Zbl 1107.68091） 全文： 内政部