Poprzednia strona
Rekrutacja 2022/23
Adjective clustering in the Mizar type system
A. Naumowicz
() 81-82
