Login / Signup
Consistency proof via pointwise induction.
Toshiyasu Arai
Published in:
Arch. Math. Log. (1998)
Keyphrases
</>
pointwise
proof planning
weighted sum
proof search
theorem proving
nonparametric regression
linear logic
polynomial approximation
machine learning
information retrieval systems
data sets
image segmentation
reinforcement learning
roc curve
confidence intervals