格罗滕宇宙 (4-4)

图舍夫斯基、亚当 • 诺莫维茨、卡罗尔 • 帕克和约瑟夫 • 厄本。Mizar：最先进的和超越的。在曼弗雷德 • 克贝尔、雅克 • 卡富特、塞扎里 • 卡里兹克、弗洛里安 • 拉贝和沃尔克 • 索尔格，编辑《智能计算机数学》，《计算机科学课堂讲稿》第9150卷，第261-279页。施普林格国际出版公司，2015年。ISBN 978-3319-20614-1。

doi：10.1007/978-3-319-20615-8_17.

[3] Grzegorz班克雷克，Czeslaw比林斯基，亚当格拉博夫斯基，Artur Kornitowicz，罗马马-

图舍夫斯基，亚当 • 诺莫维奇和卡罗尔 • 帕克。Mizar数学库在Mizar的交互式证明开发中的作用。《自动推理杂志》，61（1）：2018年9-32日。doi：10.1007/s10817-017-9440-6.

[4]乍得E。棕色和卡罗尔巴克。一个关于两套理论的故事。在塞扎里 • 卡利兹克，埃德温 • 布雷迪，家德里亚 • 科尔哈斯 • 科恩，编辑，第12届智能计算机数学国际会议，CICM 2019，CIlRC，布拉格，捷克共和国，2019年7月12日，计算机科学讲座笔记第11617卷，第44-60页。施普林格，2019年。

doi：10.1007/978-3-030-23250-4_4.

[5] N.H.威廉斯棉在格罗森戴克宇宙。《数学组合》，21（1）：1969年1-3。2020年5月31日接受

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。