Accessing the Mizar Library with a Weakly Strict Mizar Parser.

Adam Naumowicz Radoslaw Piliszek

Published in: CICM (2016)

Keyphrases

computer assisted
natural language processing
computer vision
natural language
dependency parsing
data sets
multimedia
multiscale
digital libraries