Poprzednia strona
Rekrutacja 2022/23
E. Schmeidel
Towards Standardized Mizar Environments
10th International Conference on Intelligent Computer Mathematics, Edinburgh, Scotland, Jul 17-21, 2017
University of Edinburgh (org.)
