Lattice Theory for Rough Sets - A Case Study with Mizar

Sorry, there's nothing here.

Cite this paper

@article{Grabowski2016LatticeTF, title={Lattice Theory for Rough Sets - A Case Study with Mizar}, author={Adam Grabowski}, journal={Fundam. Inform.}, year={2016}, volume={147}, pages={223-240} }