Rough Concept Analysis – theory development in the Mizar system (2004)

by Adam Grabowski , Christoph Schwarzweller
Venue:Proc. of MKM 2004, Lecture Notes in Computer Science 3119
Citations:3 - 0 self