Alternative Proof of Standard Completeness Theorem for MTL.

Rostislav Horcík

Published in: Soft Comput. (2007)

Keyphrases

multi task learning
data mining
interactive theorem proving
neural network
machine learning
learning algorithm
multi class
data quality
inductive learning
theorem prover
theorem proving