Lattice Theory for Rough Sets – A Case Study with Mizar
Grabowski, Adam, Czaja, Ludwik, Penczek, Wojciech, Stencel, KrzysztofVolume:
147
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2016-1406
Date:
November, 2016
File:
PDF, 216 KB
english, 2016