Poprzednia strona
Rekrutacja 2022/23
A. Odzijewicz
On Algebraic Hierarchies in Mathematical Repository of Mizar
11th Federated Conference on Computer Science and Information Systems, Gdansk, Poland, Sep 11-14, 2016
Polish Information Processing Society (org.)
