Login / Signup
Generalizations of the Compactness Theorem and Gödel's Completeness Theorem for Nonstandard Finite Structures.
Miklós Ajtai
Published in:
TAMC (2007)
Keyphrases
</>
data sets
von neumann
neural network
artificial intelligence
image processing
real time
lower bound