×

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

最新的 引文 关联
贾科莫·马莱托；卢卡·罗维斯

可逆本原置换的证明算法及相关性质精益. （英语） Zbl 07615945号

Mezzina，Claudio Antares（编辑）等人，可逆计算。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13354, 111-127 (2022).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{G.Maletto}和\textit{L.Roversi}，莱克特。票据计算。科学。13354、111-127（2022；Zbl 07615945）
全文： 内政部 arXiv公司
马卡里乌斯·温泽尔

Isabelle/Scala和Isabelle/jEdit的异步证明处理。 （英语） Zbl 1294.68129号

Aspinall，David（编辑）等人，第九届定理证明器用户界面国际研讨会论文集（UITP10），英国爱丁堡，2010年7月15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记285，101-114（2012）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Wenzel}，电子。注释Theor。计算。科学。285101--114（2012年；Zbl 1294.68129）
全文： 内政部
笔记本电脑，安德烈；阿萨夫省克富尔

轻量级验证系统的用户友好界面。 （英语） Zbl 1294.68148号

Aspinall，David（编辑）等人，第九届定理证明器用户界面国际研讨会论文集（UITP10），英国爱丁堡，2010年7月15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记285，29-41（2012）。
MSC公司：68单位35 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Lapets}和\textit{A.Kfoury}，电子。注释Theor。计算。科学。28529--41（2012年；Zbl 1294.68148）
全文： 内政部
安德烈亚·阿斯佩蒂；玛丽亚·艾米莉亚·梅埃蒂；克劳迪奥·萨塞尔多蒂·科恩；乔瓦尼·桑宾；西尔维奥·瓦伦蒂尼

通过交互式定理证明程序Matita对形式拓扑进行形式化。 （英语） Zbl 1335.68223号

Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，278-280（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Asperti}等人，Lect。票据计算。科学。6824278--280（2011年；Zbl 1335.68223）
全文： 内政部
马卡里乌斯·温泽尔

Isabelle担任面向文档的校对助理。 （英语） Zbl 1335.68239号

Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，244-259（2011）。
MSC公司：68吨15 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Wenzel}，莱克特。票据计算。科学。6824、244--259（2011；Zbl 1335.68239）
全文： 内政部
安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西

Matita交互式定理证明器。 （英语） Zbl 1341.68179号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，64-69（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Asperti}等人，Lect。票据计算。科学。6803，64-69（2011；Zbl 1341.68179）
全文： 内政部 链接
安德烈亚·阿斯佩蒂；恩里科·塔西

目标导向证明策略的交互式驱动程序。 （英语） Zbl 1291.68319号

Autexier，Serge（ed.）等人，第八届定理证明者用户界面国际研讨会论文集（UITP 2008），加拿大蒙特利尔，2008年8月22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记22689-105（2009）。
MSC公司：68吨15 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Asperti}和\textit{E.Tassi}，电子。注释Theor。计算。科学。22689--105（2009年；Zbl 1291.68319）
全文： 内政部
克劳迪奥·萨塞尔多蒂·科恩

数学系统的一种用户界面，允许使用模棱两可的公式。 （英语） Zbl 1291.68368号

Autexier，Serge（编辑）等人，《第八届定理证明器用户界面国际研讨会论文集》（UITP 2008），加拿大蒙特利尔，2008年8月22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记22667-87（2009）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Sacerdoti Coen}，电子。注释Theor。计算。科学。226、67-87（2009年；Zbl 1291.68368）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件