Poprzednia strona
Rekrutacja 2022/23
Lattice Theory for Rough Sets - A Case Study with Mizar
A. Grabowski
Fund. Inform. 147 (2016) 223-240
DOI: 10.3233/FI-2016-1406
