Proof of a Conjecture of Bolloba's and Kohayakawa on the Erds-Stone Theorem.
Yoshiyasu IshigamiPublished in: J. Comb. Theory, Ser. B (2002)
Keyphrases
- interactive theorem proving
- theorem proving
- theorem prover
- image processing
- von neumann
- linear logic
- intuitionistic logic
- learning algorithm
- information systems
- information technology
- multiresolution
- probability distribution
- data sets
- machine learning
- automated theorem proving
- natural deduction
- proof theoretic
- neural network