Poprzednia strona
Rekrutacja 2022/23
M. Pisarski
Accessing the Mizar Library with a Weakly Strict Mizar Parser
9th International Conference on Intelligent Computer Mathematics, Białystok, Poland, Jul 25-29, 2016
Faculty of Mathematics and Informatics, University of Białystok (org.)
