A new proof of menger's theorem.

Published in: J. Graph Theory (1978)

Keyphrases

interactive theorem proving
linear logic
neural network
theorem prover
data mining
decision making
image processing
multiscale
theorem proving
intuitionistic logic
artificial intelligence
search engine
evolutionary algorithm
proof planning
mathematical proofs