Poprzednia strona
Rekrutacja 2022/23
M. Pisarski
Enhancement of Mizar Texts with Transitivity Property of Predicates
9th International Conference on Intelligent Computer Mathematics, Białystok, Poland, Jul 25-29, 2016
Faculty of Mathematics and Informatics, University of Białystok (org.)
