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