×

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

最新的 引文 关联
鲁道夫·伯格哈默

Dedekind递归定理的关系代数处理。 （英语） Zbl 07578332号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12062, 15-30 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Berghammer}，莱克特。注释计算。科学。12062，15--30（2020；Zbl 07578332）
全文： 内政部
曼努埃尔·埃贝尔

Isabelle/HOL中的九章解析数论。 （英语） Zbl 07649965号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第16条，第19页（2019年）。
MSC公司：68V20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Eberl}，LIPIcs——莱布尼茨国际程序。通知。141，第16条，第19页（2019年；Zbl 07649965）
全文： 内政部
欧内斯特·戴维斯

验证技术和基础物理。 （英语） Zbl 1454.68162号

Nicolas Fillion等人，《数学、认识论和科学中的算法和复杂性》。2015年和2016年ACMES会议记录，英国伦敦。精选论文。纽约州纽约市：斯普林格；多伦多：菲尔兹数学科学研究所。字段Inst.Commun。82, 81-132 (2019).
MSC公司：68伏15 00A79号
PDF格式BibTeX公司 XML格式引用
\textit｛E.Davis｝，菲尔兹研究所通讯社。82、81-132（2019年；Zbl 1454.68162）
全文： 内政部
反向链接： 卫生官员
帕斯莫尔，格兰特·奥尼

带有理幂和整数幂谓词的一元实代数的可判定性。 （英语） Zbl 1465.03048号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 181-196 (2015).
MSC公司：03B25号 03B35型 13J30型
PDF格式BibTeX公司 XML格式引用
\textit{G.O.Passmore}，莱克特。注释计算。科学。9195181-196（2015年；Zbl 1465.03048）
全文： 内政部 arXiv公司
马克斯·克拉默；彼得·科普克；伯恩哈德·施罗德

Naproche系统中符号数学的解析和消歧。 （英语） Zbl 1335.68257号

Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学讲义6824。《人工智能课堂讲稿》，180-195（2011）。
MSC公司：68立方英尺 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{M.Cramer}等人，Lect。注释计算。科学。6824、180--195（2011年；Zbl 1335.68257）
全文： 内政部
比哈，西迪·乌尔德

Coq有限群表示理论。 （英语） Zbl 1247.68231号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学讲义5625。人工智能课堂讲稿，438-452（2009）。
MSC公司：68吨15 20立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.O.Biha}，莱克特。注释计算。科学。5625438--452（2009年；Zbl 1247.68231）
全文： 内政部 链接
安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂

关于Chebyshev在数论中某些结果的形式化。 （英语） 兹伯利1246.03026

Berardi，Stefano（编辑）等人，《证明和程序的类型》。2008年3月26日至29日在意大利都灵举行的TYPES 2008国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-02443-6/pbk）。计算机科学课堂讲稿549719-31（2009）。
MSC公司：03B35型 11A41号机组 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛A.Asperti｝和\textit｛W.Ricciotti｝，Lect。注释计算。科学。5497，19-31（2009；Zbl 1246.03026）
全文： 内政部
马卡里乌斯·温策尔；劳伦斯·C·鲍尔森。；托比亚斯·尼普科

伊莎贝尔框架。 （英语） Zbl 1165.68478号

Mohamed，Otmane Ait（编辑）等，《高阶逻辑中的定理证明》。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71065-3/pbk）。计算机科学课堂讲稿5170，33-38（2008）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Wenzel}等人，Lect。注释计算。科学。5170、33-38（2008年；Zbl 1165.68478）
全文： 内政部
贝扎德·阿克巴普尔；劳伦斯·C·鲍尔森。

扩展初等函数不等式的解析证明器。 （英语） Zbl 1137.68571号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，47-61（2007）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{B.Akbarpour}和\textit{L.C.Paulson}，莱克特。注释计算。科学。4790、47-61（2007年；Zbl 1137.68571）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件