Login / Signup
An Algebraic Proof of Deuber's Theorem.
Neil Hindman
Dona Strauss
Published in:
Comb. Probab. Comput. (1998)
Keyphrases
</>
interactive theorem proving
artificial intelligence
theorem proving
von neumann
linear logic
proof theory
data sets
databases
genetic algorithm
multiscale
expert systems
steady state
theorem prover