Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library.

Kazuhisa Nakasho Yasunari Shidama

Published in: CICM (2015)

Keyphrases

computer assisted
information extraction
html documents
real time
case study
user interface
software evolution
hand drawn
database
data mining
feature selection
knowledge base
semi structured