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]
@inproceedings{BancerekU04,
title = {Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles},
author = {Grzegorz Bancerek and Josef Urban},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3119&spage=44},
researchr = {https://researchr.org/publication/BancerekU04},
cites = {0},
citedby = {0},
pages = {44-57},
booktitle = {Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
editor = {Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec},
volume = {3119},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23029-7},
}