Mizar in a Nutshell

Mizar in a Nutshell
复制标题

开阳简而言之

DOI：
10.6092/issn.1972-5787/1980
复制
发表时间：
2010
期刊：
J. Formaliz. Reason.
影响因子：
--
通讯作者：
Adam Naumowicz
Adam Naumowicz
中科院分区：
--
文献类型：
--
作者：
Adam Grabowski;Artur Korniłowicz;Adam Naumowicz

文献摘要

被引文献

相似文献

本文旨在成为Mizar基本术语的实用参考手册，可能有助于开始使用该系统。本文介绍了Mizar语言的最重要的方面以及验证软件的一些功能。
This paper is intended to be a practical reference manual for basic Mizar terminology which may be helpful to get started using the system. The paper describes most important aspects of the Mizar language as well as some features of the verification software.