Login / Signup
Escape to ATP for Mizar.
Piotr Rudnicki
Josef Urban
Published in:
PxTP (2011)
Keyphrases
</>
automated theorem proving
computer assisted
theorem prover
theorem proving
image analysis
general purpose
fixed point