Login / Signup
On the Deduction Rule and the Number of Proof Lines
Maria Luisa Bonet
Samuel R. Buss
Published in:
LICS (1991)
Keyphrases
</>
association rules
small number
search algorithm
maximum number
data sets
computer vision
computational complexity
probability distribution
line drawings