1. Rough Concept Analysis - Theory Development in the Mizar System; 2. Managing Heterogeneous Theories within a Mathematical Knowledge Repository
3rd International Conference on Mathematical Knowledge Management, Białowieża, Poland, Sep 19-21, 2004
Uniwersytet w Białymstoku (org.)
