Poprzednia strona
Rekrutacja 2022/23
M. Pisarski
Registrations vs Redefinitions in Mizar
9th International Conference on Intelligent Computer Mathematics, Białystok, Poland, Jul 25-29, 2016
Faculty of Mathematics and Informatics, University of Białystok (org.)
