The Deduction Rule and Linear and Near-Linear Proof Simulations.

Maria Luisa Bonet Samuel R. Buss

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

Keyphrases

neural network
data sets
special case
theorem proving
databases
data mining
machine learning
least squares
classification rules
transfer function
angular velocity