More proofs of menger's theorem.
C. St. J. A. Nash-WilliamsW. T. TuttePublished in: J. Graph Theory (1977)
Keyphrases
- interactive theorem proving
- theorem proving
- data sets
- formal proofs
- equational theories
- databases
- multiscale
- hidden markov models
- real time
- computer vision
- von neumann
- decision procedures
- neural network
- logic programs
- medical images
- expert systems
- learning environment
- objective function
- face recognition
- metadata
- decision making
- information systems