A Simple Proof of a Theorem of Milner.

Gyula O. H. Katona

Published in: J. Comb. Theory, Ser. A (1998)

Keyphrases

interactive theorem proving
databases
neural network
data mining
e learning
bayesian networks
objective function
optimal solution
cooperative
multiresolution
medical images
theorem proving