Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings - Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec ((Lecture Notes in Computer Science))