First degree formulas in Curry's LD.

Robert K. Meyer

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

Keyphrases

data mining
learning design
artificial intelligence
database systems
search algorithm
lower bound