An Induction Proof of the Ahlswede-Zhang Identity.
T. D. ThuPublished in: J. Comb. Theory, Ser. A (1993)
Keyphrases
- proof planning
- proof search
- theorem proving
- theorem prover
- concept formation
- linear logic
- subgroup discovery
- real world
- machine learning
- inductive learning
- real time
- constructive induction
- automated theorem proving
- explanation based learning
- inductive inference
- program synthesis
- qualitative models
- inference rules
- theoretical analysis
- e learning
- search engine
- neural network