Login / Signup
What can a Categoricity Theorem Tell US?
Toby Meadows
Published in:
Rev. Symb. Log. (2013)
Keyphrases
</>
neural network
image processing
von neumann
interactive theorem proving
computer vision
data analysis
mobile robot