Login / Signup
Combinatorial proof of Muchnik's theorem.
Alexander Shen
Published in:
Kolmogorov Complexity and Applications (2006)
Keyphrases
</>
interactive theorem proving
genetic algorithm
feature selection
theorem prover
theorem proving
database
data sets
neural network
digital libraries
information technology
von neumann
proof planning