Login / Signup

The Skolem-Löwenheim theorem in toposes. II.

Marek W. Zawadowski
Published in: Stud Logica (1985)
Keyphrases
  • first order logic
  • neural network
  • pattern recognition
  • object recognition
  • database
  • artificial intelligence
  • social networks
  • computer vision
  • feature selection
  • end users
  • management system