Login / Signup
Automated Improving of Proof Legibility in the Mizar System.
Karol Pak
Published in:
CICM (2014)
Keyphrases
</>
computer assisted
semi automated
theorem proving
computer aided
theorem prover
databases
data structure
hidden markov models
real time
data sets
artificial intelligence
computer vision
information systems
video sequences
relational databases
fully automated