Login / Signup
Short proof of Menger's Theorem.
Frank Göring
Published in:
Discret. Math. (2000)
Keyphrases
</>
interactive theorem proving
theorem proving
theorem prover
proof planning
real time
machine learning
image processing
high level
digital libraries
proof theoretic