Sign in
An Easy Priority-Free Proof of a Theorem of Friedberg.
Martin Kummer
Published in:
Theor. Comput. Sci. (1990)
Keyphrases
</>
interactive theorem proving
database
decision trees
data sets
neural network
machine learning
decision making
bayesian networks
search algorithm
theorem prover
linear logic
preemptive scheduling