×

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

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

在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）
全文： 内政部
亚当·纳莫维奇;拉多斯·瓦·皮利泽克

使用弱严格的Mizar解析器访问Mizar库。 （英语） Zbl 1344.68211号

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

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：最先进和超越。 （英语） Zbl 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校对。 （英语） 兹比尔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数学库（MML）。 （英语） Zbl 1278.68290号

Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，149-163（2011）。
MSC公司：68立方英尺 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{J.Alama}等人，Lect。注释计算。科学。6824、149--163（2011年；Zbl 1278.68290）
全文： 内政部 arXiv公司
亚当·纳莫维奇;阿图尔·科尔尼·奥维茨

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年；兹比尔1252.68262）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件