A proof of Menger's Theorem by contraction.

Published in: Discuss. Math. Graph Theory (2002)

Keyphrases

interactive theorem proving
theorem proving
belief revision
theorem prover
belief change
image segmentation
proof planning
data sets
genetic algorithm
image processing
artificial neural networks
von neumann