A Proof of Erdős-Fishburn's Conjecture for g(6)=13.

Published in: Electron. J. Comb. (2012)

Keyphrases

linear logic
theorem proving
learning algorithm
artificial intelligence
database systems
theorem prover
feature extraction
cooperative
multi agent systems
user interface
logical rules
mathematical proofs