×

找到20个文档（结果1–20）

最新的 引文 关联
马库斯·拉贝。;克里斯蒂安·塞格迪

走向自动数学家。 （英语） Zbl 1510.68116号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 25-37 (2021).
审核人：Truong Hoang Le（北纬ội）
MSC公司：68伏15 68T05型 68T50型 68版本20
PDF格式BibTeX公司 XML格式引用
\textit{M.N.Rabe}和\textit{C.Szegedy}，莱克特。注释计算。科学。12699，25-37（2021；Zbl 1510.68116）
全文： 内政部
乍得·E·布朗。;约瑟夫·乌尔班

从Mizar数学库中提取高阶目标。 （英语） Zbl 1344.68203号

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，99-114（2016）。
MSC公司：68吨15 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛C.E.Brown｝和\textit｛J.Urban｝，Lect。注释计算。科学。9791，99-114（2016；Zbl 1344.68203）
全文： 内政部 arXiv公司
迈克尔·Färber;塞萨里·卡利西克

随机森林用于前提选择。 （英语） Zbl 1471.68307号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 325-340 (2015).
MSC公司：68伏15 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{M.Färber}和\textit{C.Kaliszyk}，莱克特。注释计算。科学。9322325-340（2015年；1471.68307兹罗提）
全文： 内政部
塞萨里·卡利西克;斯蒂芬·舒尔茨;约瑟夫·乌尔班;维斯科基尔

系统描述：E.T.0.1。 （英语） Zbl 1465.68286号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 389-398 (2015).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}等人，莱克特。注释计算。科学。9195，389--398（2015；Zbl 1465.68286）
全文： 内政部
格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk，卡罗尔;约瑟夫·乌尔班

Mizar：最先进和超越。 （英语） Zbl 1417.68201号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 261-279 (2015).
MSC公司：68立方英尺 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.Bancerek}等人，Lect。注释计算。科学。9150261--279（2015；Zbl 1417.68201）
全文： 内政部
约瑟夫·乌尔班;维斯科基尔

大型形式数学中的定理证明是一个新兴的人工智能领域。 （英语） Zbl 1276.68139号

Bonacina，Maria Paola（编辑）等人，《自动推理与数学》。纪念威廉·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。《人工智能课堂讲稿》，240-257（2013）。
审核人：曼弗雷德·科伯（伯明翰）
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Urban}和\textit{J.Vyskočil}，莱克特。注释计算。科学。7788240-257（2013年；Zbl 1276.68139）
全文： 内政部 arXiv公司
约瑟夫·乌尔班;格拉泽戈兹·班塞雷克

介绍并解释Mizar。 （英语） Zbl 1278.68283号

Autexier，Serge（编辑）等人，第七届定理证明器用户界面研讨会论文集（UITP 2006），西雅图，华盛顿州，美国，2006年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第2期，63-74（2007）。
MSC公司：68吨15 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛J.Urban｝和\textit｛G.Bancerek｝，Electron。注释Theor。计算。科学。174，编号2，63--74（2007；Zbl 1278.68283）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件