A Free Variable Version of the First-Order Predicate Calculus.

Martin Davis Ronald Fechter

Published in: J. Log. Comput. (1991)

Keyphrases

real world
neural network
artificial intelligence
preprocessing
case study
high quality
multiscale
data streams
viewpoint