Axiomatizable Theories with Few Axiomatizable Extensions.

Donald A. Martin Marian Boykan Pour-El

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

Keyphrases

three dimensional
multiresolution
neural network
genetic algorithm
website
databases
real world
data mining
decision making
user interface
theoretical framework
efficient implementation