A Short Proof of Kneser's Conjecture.

Published in: J. Comb. Theory, Ser. A (1978)

Keyphrases

language model
information retrieval
probabilistic model
theorem prover
proof planning
databases
data mining
search engine
computer vision
knowledge base
website
relational databases
first order logic
theorem proving
mathematical proofs