×

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

最新的 引文 关联
亚当·纳莫维奇

在Mizar中为数论形式化扩展数字自动化。 （英语） Zbl 07810742号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 309-314 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Naumowicz}，莱克特。注释计算。科学。14101、309--314（2023；Zbl 07810742）
全文： 内政部
格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗曼·马图舍夫斯基;亚当·纳莫维奇;Pąk，卡罗尔

Mizar数学库在Mizar交互式证明开发中的作用。 （英语） Zbl 1433.68530号

J.汽车。推理 61号1-4、9-32（2018）.
MSC公司：68伏15 68V20型 68伏30
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bancerek｝等人，J.Autom。推理61，No.1--4，9-32（2018；Zbl 1433.68530）
全文： 内政部
OA许可证
阿图尔·科尔尼·奥维茨

增强米扎尔谓词具有及物性的文本。 （英语） Zbl 1344.68206号

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，157-162（2016）。
MSC公司：68吨15 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Korniłowicz}，莱克特。注释计算。科学。9791，157--162（2016；Zbl 1344.68206）
全文： 内政部
亚当·纳莫维奇

MML环境分析工具。 （英语） Zbl 1417.68213号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 348-352 (2015).
MSC公司：68立方英尺 68吨15 68单位35
PDF格式BibTeX公司 XML格式引用
\textit｛A.Naumowicz｝，勒克特。注释计算。科学。9150348--352（2015；Zbl 1417.68213）
全文： 内政部
格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗曼·马图舍夫斯基;亚当·纳莫维奇;Pąk，卡罗尔;约瑟夫·乌尔班

Mizar：最先进和超越。 （英语） 兹比尔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）
全文： 内政部
亚当·纳莫维奇

SAT增强的Mizar校对。 （英语） Zbl 1304.68159号

Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，449-452（2014）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Naumowicz}，莱克特。注释计算。科学。8543、449--452（2014；Zbl 1304.68159）
全文： 内政部
亚当·纳莫维奇;阿图尔·科尔尼·奥维茨

Mizar简介。 （英语） Zbl 1252.68262号

Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记567467-72（2009）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Naumowicz}和\textit{A.Korniłowiczneneneep，莱克特。注释计算。科学。5674、67--72（2009年；Zbl 1252.68262）
全文： 内政部
约瑟夫·乌尔班;格拉泽戈兹·班塞雷克

介绍和解释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}，电子。注释Theor。计算。科学。174，编号2，63--74（2007；Zbl 1278.68283）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

传记参考

全部的 前3名

软件