The problem of reasoning by case analysis

DOI10.1007/BF00881909zbMath0802.68134WikidataQ114267032 ScholiaQ114267032MaRDI QIDQ1319394

Larry Wos

Publication date: 12 April 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

automated reasoningcase analysisunsolved research problem

Mathematics Subject Classification ID

Cites Work

• Toward Mechanical Mathematics
• Problems and Experiments for and with Automated Theorem-Proving Programs
• Unnamed Item
• Unnamed Item

This page was built for publication: The problem of reasoning by case analysis