A man-machine theorem-proving system
type: Item
instance of: scholarly article
title: A man-machine theorem-proving system
zbMATH Open document ID: 0286.68047
DOI: 10.1016/0004-3702(74)90009-5
author: W. W. Bledsoe
author: Peter Bruell
published in: Artificial Intelligence
publication date: 1974-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 3449775
MaRDI profile type: Publication
full work available at URL: 0004-3702(74)90009-5
OpenAlex ID: W2028714117
cites work: Q5624685
cites work: Splitting and reduction heuristics in automatic theorem proving
cites work: Computer proofs of limit theorems
cites work: The utility of independent subgoals in theorem proving
cites work: Semi-Automated Mathematics
cites work: Q3226265
cites work: Q5519616
cites work: A Human Oriented Logic for Automatic Theorem-Proving
cites work: Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
description: scientific article; zbMATH DE number 3449775