Login / Signup
Escape to Mizar for ATPs
Jesse Alama
Published in:
CoRR (2012)
Keyphrases
</>
computer assisted
automated theorem provers
pattern recognition
image analysis
knowledge base
first order logic