Inductive reasoning on recursive equations

DOI10.1016/0004-3702(79)90007-9MaRDI QIDQ1136246zbMATH OpenOpenAlexFDO

Authors Frank Malloy Brown, Sten-Åke Tärnlund

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

zbMATH Keywords

recursive equationssuccessive refinementinductive reasoningclosed form solutions to recursive functionsexistential functionsgeneralization with beliefstemporal methods

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites work

• scientific article; zbMATH DE number 53705 (Why is no real title available?)
• scientific article; zbMATH DE number 53712 (Why is no real title available?)
• scientific article; zbMATH DE number 3621125 (Why is no real title available?)
• scientific article; zbMATH DE number 1178976 (Why is no real title available?)
• scientific article; zbMATH DE number 3227009 (Why is no real title available?)
• scientific article; zbMATH DE number 3299758 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• scientific article; zbMATH DE number 3349330 (Why is no real title available?)
• scientific article; zbMATH DE number 3384635 (Why is no real title available?)
• scientific article; zbMATH DE number 3412190 (Why is no real title available?)
• scientific article; zbMATH DE number 3096283 (Why is no real title available?)
• A paradigm for reasoning by analogy
• Doing arithmetic without diagrams
• Form and Content in Computer Science (1970 ACM turing lecture)
• The use of the state space to record the behavioral effects of subproblems and symmetries in the Tower of Hanoi problem
• Towards the automation of set theory and its logic

Cited in

(2)

• An experimental logic based on the fundamental deduction principle
• An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning

This page was built for publication: Inductive reasoning on recursive equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1136246)