Lattice Theory for Rough Sets - A Case Study with Mizar.

Saved in:

Bibliographic Details
Title:	Lattice Theory for Rough Sets - A Case Study with Mizar.
Authors:	Grabowski, Adam¹, adam@math.uwb.edu.pl
Source:	Fundamenta Informaticae; 2016, Vol. 147 Issue 2-3, p223-240, 18p
Database:	Applied Science & Technology Source

Description
ISSN:	01692968
DOI:	10.3233/FI-2016-1406