迈克尔·科尔哈斯;弗洛里安·拉贝;克劳迪奥·萨切多蒂·科恩;简·弗雷德里克·谢弗 逻辑框架中的逻辑无关证明搜索（短文）。 （英文） Zbl 07614524号 Peltier，Nicolas（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 395-401 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}等人，Lect。注释计算。科学。12166395--401（2020；Zbl 07614524） 全文： 内政部
费卢西奥·圭迪;克劳迪奥·萨切多蒂·科恩;恩里科·塔西 在高阶约束逻辑编程中实现类型理论。 （英文） Zbl 1430.68025号 数学。结构。计算。科学。 29，第8期，1125-1150（2019）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Guidi}等人，数学。结构。计算。科学。29，第8号，1125--1150（2019；Zbl 1430.68025） 全文： 内政部
费卢西奥·圭迪;克劳迪奥·萨切多蒂·科恩 数学知识检索综述。 （英文） Zbl 1409.68085号 数学。计算。科学。 10，第4号，409-427（2016）.MSC公司：68第20页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Guidi}和\textit{C.Sacerdoti Coen}，数学。计算。科学。10，第4号，409--427（2016；Zbl 1409.68085） 全文： 内政部 arXiv公司
费卢西奥·圭迪;克劳迪奥·萨切多蒂·科恩 数学知识检索综述。 （英文） Zbl 1417.68038号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：施普林格。莱克特。注释计算。科学。9150, 296-315 (2015).MSC公司：68第20页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Guidi}和\textit{C.Sacerdoti Coen}，莱克特。注释计算。科学。9150296--315（2015；Zbl 1417.68038） 全文： 内政部 arXiv公司
弗洛里安·拉贝;迈克尔·科尔哈斯;克劳迪奥·萨切多蒂·科恩 关于集成问题的基本观点。 （英文） Zbl 1278.68289号 Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，107-122（2011）。MSC公司：68T27型 68吨15 68立方英尺 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}等人，Lect。注释计算。科学。6824、107-122（2011年；Zbl 1278.68289） 全文： 内政部 arXiv公司