Login / Signup
The meta theory of the Incredible Proof Machine.
Joachim Breitner
Denis Lohner
Published in:
Arch. Formal Proofs (2016)
Keyphrases
</>
machine learning
theoretical framework
artificial intelligence
computational models
neural network
real world
data mining
genetic algorithm
case study
theoretical foundation
conceptual framework
general theory