Poprzednia strona
Rekrutacja 2022/23
A. Odzijewicz
Tarski's geometry modelled in Mizar computerized proof assistant
11th Federated Conference on Computer Science and Information Systems, Gdansk, Poland, Sep 11-14, 2016
Polish Information Processing Society (org.)
