Poprzednia strona
Rekrutacja 2022/23
M. Pisarski
Tarski's geometry and the Euclidean plane 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.)
