Login / Signup
A Concise Proof of the Littlewood-Richardson Rule.
John R. Stembridge
Published in:
Electron. J. Comb. (2002)
Keyphrases
</>
association rules
theorem prover
real world
theorem proving
rule learning
active databases
linear logic
proof planning
data mining
rule sets
production rules
rule mining
concise representation