Lattice Theory for Rough Sets - A Case Study with Mizar.
Saved in:
| Title: | Lattice Theory for Rough Sets - A Case Study with Mizar. |
|---|---|
| Authors: | Grabowski, Adam1, adam@math.uwb.edu.pl |
| Source: | Fundamenta Informaticae; 2016, Vol. 147 Issue 2-3, p223-240, 18p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
