Sign in
"Rippling: Meta-Level Guidance for Mathematical Reasoning, " by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005.
Nimish Shah
Published in:
J. Autom. Reason. (2005)
Keyphrases
</>
meta level
john mccarthy
resource bounded
object level
distributed problem solving
domain knowledge
logic programs
higher education
image analysis
low level