Login / Signup
Shelah's proof of the Hales-Jewett theorem revisited.
Pierre Matet
Published in:
Eur. J. Comb. (2007)
Keyphrases
</>
interactive theorem proving
theorem prover
decision making
preprocessing
von neumann
proof planning
data sets
multiscale
evolutionary algorithm
theorem proving
natural deduction
automated theorem provers
mathematical proofs