A reduction procedure for Sheffer stroke formulas.

Robert D. Carnes

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

Keyphrases

information retrieval
reduction method
iterative procedure
data mining
information systems
probability distribution
search procedure