Poprzednia strona
Rekrutacja 2022/23
Definitional expansions in Mizar
A. Korniłowicz
J. Automat. Reason. 55 (2015) 257-268
DOI: 10.1007/s10817-015-9331-7
