×

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

最新的 引文 关联
普尔泽米斯·乔杰基

深度代数–程序大纲。 （英文） Zbl 1367.68247号

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。人工智能课堂讲稿，1-8（2017）。
MSC公司：68吨15 14-04
PDF格式BibTeX公司 XML格式引用
\textit{P.Chojecki}，莱克特。注释计算。科学。10383，1--8（2017；Zbl 1367.68247）
全文： 内政部 arXiv公司
丹尼尔·佩鲁奇;玛丽·弗朗索瓦斯·罗伊

基于Thom编码和符号确定的基本递归量词消除。 （英文） Zbl 1373.14060号

Ann.纯粹应用。逻辑 168，第8期，1588-1604（2017）.
审核人：Pawe Gładki（卡托维兹）
MSC公司：第14页 03C10号机组 2014年第20季度 第12天15
PDF格式BibTeX公司 XML格式引用
\textit{D.Perrucci}和\textit{M.-F.Roy}，Ann.纯粹应用。逻辑168，No.8，1588--1604（2017；Zbl 1373.14060）
全文： 内政部 arXiv公司
Bartzia、Evmorfia Iro;Pierre-Yves支柱

Coq证明助手中椭圆曲线的形式库。 （英文） Zbl 1416.68150号

Klein，Gerwin（编辑）等，交互式定理证明。2014年7月14日至17日在奥地利维也纳举行的第五届国际会议，ITP 2014，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8558, 77-92 (2014).
MSC公司：68吨15 14H52型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{E.-I.Bartzia}和\textit{P.-Y.Strub}，莱克特。注释计算。科学。8558，77-92（2014；Zbl 1416.68150）
全文： 内政部 哈尔
泽维尔·阿拉米根;圣埃芬·高伯特;维克托·马格伦;本杰明·沃纳

非线性函数界的证明：模板法。 （英文） 兹比尔1390.68570

Carette，Jacques（编辑）等人，《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目，作为2013年CICM的一部分，于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39319-8/pbk）。计算机科学讲座笔记7961。《人工智能课堂讲稿》，51-65（2013）。
MSC公司：68吨15 第11页第25页 第14页 65K10码 68瓦30 90C22型 90立方
PDF格式BibTeX公司 XML格式引用
\textit{X.Allamigeon}等人，Lect。注释计算。科学。7961、51-65（2013年；Zbl 1390.68570）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件