Poprzednia strona
Rekrutacja 2022/23
M. Muzalewski
Equality in computer proof-assistants
10th Federated Conference on Computer Science and Information Systems, Łódź, Poland, Sep 13-16, 2015
Polish Information Processing Society (org.)
