Solution to a completeness problem of Lemmon and Scott.

Robert Goldblatt

Published in: Notre Dame J. Formal Log. (1975)

Keyphrases

databases
neural network
face recognition
preprocessing
trade off
closed form
real time
artificial intelligence
web pages
multiscale
wide range
artificial neural networks
multiresolution
mathematical model
integer programming