Inductive reasoning on recursive equations

This publication has 6 references indexed in Scilit:

• Towards the automation of set theory and its logic
  Artificial Intelligence, 1978
• Doing arithmetic without diagrams
  Artificial Intelligence, 1977
• The use of the state space to record the behavioral effects of subproblems and symmetries in the Tower of Hanoi problem
  International Journal of Man-Machine Studies, 1976
• A paradigm for reasoning by analogy
  Artificial Intelligence, 1971
• Form and Content in Computer Science (1970 ACM turing lecture)
  Journal of the ACM, 1970
• GRAMMATICAL COMPLEXITY AND INFERENCE
  Published by Defense Technical Information Center (DTIC) ,1969