Mathematical Knowledge Management Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings - Asperti, Andrea; Bancerek, Grzegorz; Trybulec, Andrzej (Springer Berlin Heidelberg : Imprint: Springer, 2004)