Poprzednia strona
Rekrutacja 2022/23
E. Schmeidel
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle
12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017
Polish Information Processing Society (org.)
