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