Poprzednia strona
Rekrutacja 2022/23
Expressing the Notion of a Mathematical Structure in the Formal Language of Mizar
A. Grabowski
() 261-270
DOI: 10.1007/978-3-319-67792-7_26
