Poprzednia strona
Rekrutacja 2022/23
E. Schmeidel
Expressing the notion of a mathematical structure in the formal language of Mizar
5th International Conference on Man-Machine Interactions, Cracow, Poland, Oct 3-6, 2017
Silesian University of Technology, Polish Academy of Sciences (org.)
