Concept Analysis – theory development in the Mizar system (0)

by Rough Schwarzweller
Venue:Lecture Notes in Computer Science