Login / Signup
A short proof of Catlin's extension of Brooks' theorem.
John Mitchem
Published in:
Discret. Math. (1978)
Keyphrases
</>
interactive theorem proving
proof theoretic
theorem proving
databases
artificial intelligence
theorem prover