Poprzednia strona
Rekrutacja 2022/23
A. Tereszkiewicz
Improving Mizar Texts with Properties and Requirements
3rd International Conference on Mathematical Knowledge Management, Białowieża, Poland, Sep 19-21, 2004
Uniwersytet w Białymstoku (org.)
