Poprzednia strona
Rekrutacja 2022/23
W. Homenda, M. Rybnik
Mizar Set Comprehension in Isabelle Framework
13th Federated Conference on Computer Science and Information Systems, Poznań, Poland, Sep 9-12, 2018
Polish Information Processing Society (org.)
