Login / Signup
A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas.
Serge Autexier
Published in:
Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
</>
proof planning
machine learning
expert systems
probabilistic model
optimization problems
sufficient conditions