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