×

找到9个文档（结果1-9）

最新的 引文 关联
聂鹏宇;卡尔·帕尔姆斯科格;李俊毅·杰西;Gligoric，米洛斯

使用详细术语深层生成Coq引理名称。 （英语） Zbl 07614664号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167，97-118（2020年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{P.Nie}等人，Lect。注释计算。科学。12167，97-118（2020；Zbl 07614664）
全文： 内政部 arXiv公司
姆拉丹·尼科利奇;Marinković，韦斯纳;佐尔坦科瓦奇;贾尼契奇，普雷德拉格

几何投资组合定理证明和证明程序运行时预测。 （英语） 兹比尔1431.68123

安。数学。Artif公司。智力。 85，编号2-4，119-146（2019）。
MSC公司：68伏15 2004年5月5日 68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Nikolić}等人，《数学年鉴》。Artif公司。智力。85，编号2--4，119-146（2019；Zbl 1431.68123）
全文： 内政部
叶卡捷琳娜·科门丹茨卡亚;乔纳森·赫拉斯

依赖类型的证明挖掘。 （英语） Zbl 1367.68251号

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，303-318（2017）。
MSC公司：68吨15 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{E.Komendantskaya}和\textit{J.Heras}，莱克特。注释计算。科学。10383、303--318（2017；Zbl 1367.68251）
全文： 内政部 arXiv公司
托马斯·格兰斯登;尼尔·沃尔金肖;拉杰夫·拉曼

SEPIA：使用推断自动机搜索证明。 （英语） Zbl 1465.68284号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 246-255 (2015).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Gransden}等人，Lect。注释计算。科学。9195246--255（2015；Zbl 1465.68284）
全文： 内政部 arXiv公司
托马斯·格兰斯登;尼尔·沃尔金肖;拉杰夫·拉曼

从证据语料库中挖掘基于状态的模型。 （英语） Zbl 1304.68155号

Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。人工智能课堂讲稿，282-297（2014）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Gransden}等人，Lect。注释计算。科学。8543，282--297（2014；Zbl 1304.68155）
全文： 内政部 arXiv公司 链接
乔纳森·赫拉斯;叶卡捷琳娜·科门丹茨卡亚

计算机代数验证中的ML4PG。 （英语） Zbl 1390.68780号

Carette，Jacques（编辑）等人，《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目，作为2013年CICM的一部分，于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39319-8/pbk）。计算机科学讲座笔记7961。《人工智能讲义》，354-358（2013）。
MSC公司：68瓦30 68T05型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Heras}和\textit{E.Komendantskaya}，莱克特。注释计算。科学。7961、354--358（2013；Zbl 1390.68780）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件