Login / Signup
A Game Model for Proofs with Costs.
Timo Lang
Carlos Olarte
Elaine Pimentel
Christian G. Fermüller
Published in:
CoRR (2019)
Keyphrases
</>
computational model
prior knowledge
mathematical model
learning algorithm
high level
theoretical analysis
genetic algorithm
probabilistic model
theoretical framework
experimental data
simulation model
formal model