A short proof of Meyniel's theorem.

J. Adrian Bondy Carsten Thomassen

Published in: Discret. Math. (1977)

Keyphrases

interactive theorem proving
theorem proving
von neumann
linear logic
database
proof planning
data sets
databases
neural network
machine learning
artificial intelligence
image processing
artificial neural networks
theorem prover