A theorem on maximal sets.

Joseph S. Ullian

Published in: Notre Dame J. Formal Log. (1961)

Keyphrases

von neumann
databases
information retrieval
information systems
probabilistic model
np complete
definite clause