About Goodman's Theorem.

Thierry Coquand

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

real time
von neumann
database
machine learning
digital topology
image processing
bayesian networks
reinforcement learning
data structure
cooperative
object recognition
lower bound
image analysis
domain knowledge
interactive theorem proving