Poprzednia strona
Rekrutacja 2022/23
W. Homenda, M. Rybnik
Combining the Syntactic and Semantic Representations of Mizar Proofs
13th Federated Conference on Computer Science and Information Systems, Poznań, Poland, Sep 9-12, 2018
Polish Information Processing Society (org.)
