Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.

Grzegorz Bancerek Josef Urban

Published in: MKM (2004)

Keyphrases

semantic browsing
computer assisted
web content
text categorization
learning objects
digital libraries
learning process
unsupervised learning