An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning

DOI10.1016/0004-3702(80)90049-1zbMath0446.68081OpenAlexW1994283431MaRDI QIDQ1146017

Frank Malloy Brown

Publication date: 1980

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(80)90049-1

zbMATH Keywords

mathematical reasoningdomain dependent knowledge

Mathematics Subject Classification ID

Related Items (1)

An experimental logic based on the fundamental deduction principle

Cites Work

• Inductive reasoning on recursive equations
• Towards the automation of set theory and its logic
• Unnamed Item

This page was built for publication: An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning