A. Stocka; On duplication in mathematical repositories9th International Conference on Mathematical Knowledge Management, Paris, France, Jul 8-10, 2010; Patrick Ion, Alan Sexton et al.; MKM Interest Group (org.)
A. Tereszkiewicz; Improving Mizar Texts with Properties and Requirements3rd International Conference on Mathematical Knowledge Management, Białowieża, Poland, Sep 19-21, 2004; Uniwersytet w Białymstoku (org.)
A. Tereszkiewicz; 1. Rough Concept Analysis - Theory Development in the Mizar System; 2. Managing Heterogeneous Theories within a Mathematical Knowledge Repository3rd International Conference on Mathematical Knowledge Management, Białowieża,
R. Jankowski (syn Tadeusza); 4th International Conference on Mathematical Knowledge Management, Bremen, Germany, Jul 15-17, 2005; International University Bremen (org.)
R. Jankowski (syn Tadeusza); Translating mathematical vernacular into knowledge repositories4th International Conference on Mathematical Knowledge Management, Bremen, Germany, Jul 15-17, 2005; International University Bremen (org.)
K. Zajkowski; Robbins Algebras vs. Boolean Algebras 1st International Workshop on Mathematical Knowledge Management, Linz, Austria, Sep 24-26, 2001
A. Grabowski, M. Jastrzębska, Ch. Schwarzweller; A stochastic model of passenger transport1st International Conference on Informatics in Control, Automation and Robotics, Setúbal, Portugal, Aug 25-28, 2004
; International Conference on Advanced Information and Telemedicine Technology for Health, Minsk, Belarus, Nov 8-10, 2005; National Academy of Sciences of Belarus (org.)
E. Schmeidel; X School on Geometry and Physics, Białowieża, Poland, Jun 28 - Jul 2, 2021; Faculty of Mathematics, University of Białystok (org.)
E. Schmeidel; X School on Geometry and Physics, Białowieża, Poland, Jun 28 - Jul 2, 2021; Faculty of Mathematics, University of Białystok (org.)
