×

找到9个文档(结果1-9)

依赖类型的证明挖掘。 (英语) 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格式引用

计算机代数验证中的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格式引用

验证计算数字成像离散向量场的算法。 (英语) Zbl 1360.68880号

Johan Jeuring等人,《智能计算机数学》。2012年7月8日至13日,在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31373-8/pbk)。计算机科学讲义7362。《人工智能课堂讲稿》,216-230(2012)。
MSC公司:68单位10 68吨15 92C55
PDF格式BibTeX公司 XML格式引用

数字图像同源群的认证计算。 (英语) Zbl 1357.68280号

Ferri,Massimo(编辑)等人,图像背景下的计算拓扑。2012年5月28日至30日在意大利贝蒂诺罗举行的2012年CTIC第四届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-30237-4/pbk)。计算机科学课堂讲稿7309,49-57(2012)。
MSC公司:68单位10 57号05 68吨15 92C55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Coq/SSReflect中形式化的关联简单矩阵。 (英语) Zbl 1335.68229号

Davenport,James H.(编辑)等人,《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22672-4/pbk)。计算机科学课堂讲稿6824。人工智能课堂讲稿,30-44(2011)。
MSC公司:68吨15 55-04 55单位10
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份