Some Theorems on Definability and Decidability.

Alonzo Church Willard Van Orman Quine

Published in: J. Symb. Log. (1952)

Keyphrases

description logics
propositional logic
fixed point
query answering
decision procedures
data sets
similarity measure
evolutionary algorithm
neural network
case study
probabilistic model
digital topology