Complexity in Mechanized Hypothesis Formation.

Pavel Pudlák Frederick N. Springsteel

Published in: Theor. Comput. Sci. (1979)

Keyphrases

hypothesis formation
concept formation
computational complexity
database
real world
information systems
objective function
multiresolution
worst case
decision problems
complexity analysis