Login / Signup
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library.
Kazuhisa Nakasho
Yasunari Shidama
Published in:
CoRR (2015)
Keyphrases
</>
computer assisted
semi structured
information extraction
web pages
data sets
databases
multiscale
user interface
web browser
symbol recognition
database
machine learning
knowledge base
decision trees
html documents
web development