Login / Signup
A Proof of Erdős-Fishburn's Conjecture for g(6)=13.
Xianglin Wei
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