Grzegorz Bancerek, Josef Urban. Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. In Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec, editors, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings. Volume 3119 of Lecture Notes in Computer Science, pages 44-57, Springer, 2004. [doi]
Abstract is missing.