Andrea Asperti Grzegorz Bancerek Andrzej Trybulec Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings MKM Lecture Notes in Computer Science 3119 Springer 2004 3-540-23029-7 db/conf/mkm/mkm2004.html