An Easy Priority-Free Proof of a Theorem of Friedberg.

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