Poprzednia strona
Rekrutacja 2022/23
E. Schmeidel
Formalization of the Algebra of Nominative Data in Mizar
12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017
Polish Information Processing Society (org.)
