The problem of reasoning by case analysis
type: Item
instance of: scholarly article
title: The problem of reasoning by case analysis
zbMATH Open document ID: 0802.68134
DOI: 10.1007/BF00881909
author: Larry Wos
published in: Journal of Automated Reasoning
publication date: 1994-04-12T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 549836
zbMATH Keywords: automated reasoning
zbMATH Keywords: case analysis
zbMATH Keywords: unsolved research problem
MaRDI profile type: Publication
Wikidata QID: Q114267032
cites work: Problems and Experiments for and with Automated Theorem-Proving Programs
cites work: Toward Mechanical Mathematics
cites work: Q3994754
cites work: Q4296171
description: scientific article; zbMATH DE number 549836