Proving Infinitary Formulas.

Amelia Harrison Vladimir Lifschitz Julian Michael

Published in: CoRR (2016)

Keyphrases

machine learning
mathematical formulas
real time
image processing
database
data mining
expert systems
search space