Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles (2004)
by
Grzegorz Bancerek
,
Josef Urban
| Venue: | Proceeding of the Third International Conference on Mathematical Knowledge Management |
| Citations: | 7 - 3 self |
BibTeX
@INPROCEEDINGS{Bancerek04integratedsemantic,
author = {Grzegorz Bancerek and Josef Urban},
title = {Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles},
booktitle = {Proceeding of the Third International Conference on Mathematical Knowledge Management},
year = {2004},
pages = {44--57},
publisher = {Springer LNCS}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
articles
