Mathematical knowledge management : third International Conference, MKM 2004 : Bialowieza, Poland, September 19-21, 2004 : proceedings - Asperti, Andrea, 1961-; Bancerek, Grzegorz, 1966-; Trybulec, Andrzej, 1941- (Lecture notes in computer science ;, 2004)