An Extension of the Craig-Lyndon Interpolation Theorem.

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

Keyphrases

databases
von neumann
interpolation methods
information retrieval
genetic algorithm
artificial intelligence
decision making