Inductive reasoning on recursive equations
From MaRDI portal
Publication:1136246
DOI10.1016/0004-3702(79)90007-9zbMath0426.68089OpenAlexW2109813063MaRDI QIDQ1136246
Sten-Åke Tärnlund, Frank Malloy Brown
Publication date: 1979
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(79)90007-9
recursive equationssuccessive refinementinductive reasoningclosed form solutions to recursive functionsexistential functionsgeneralization with beliefstemporal methods
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning ⋮ An experimental logic based on the fundamental deduction principle
Cites Work
- Doing arithmetic without diagrams
- Towards the automation of set theory and its logic
- A paradigm for reasoning by analogy
- The use of the state space to record the behavioral effects of subproblems and symmetries in the Tower of Hanoi problem
- Form and Content in Computer Science (1970 ACM turing lecture)
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Inductive reasoning on recursive equations
