Random Models and Solvable Skolem Classes.

Warren D. Goldfarb

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

Keyphrases

special case
real world
complex systems
real time
face recognition
lower bound
expert systems
prior knowledge
np complete
first order logic