Poprzednia strona
Rekrutacja 2022/23
E. Schmeidel
Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic
10th International Conference on Intelligent Computer Mathematics, Edinburgh, Scotland, Jul 17-21, 2017
University of Edinburgh (org.)
