View in EDS PDF Full Text

State-Space, Problem-Reduction, and Theorem Proving -- Some Relationships.

Saved in:
Bibliographic Details
Title: State-Space, Problem-Reduction, and Theorem Proving -- Some Relationships.
Authors: VanderBrug, Gordon J.1, Minker, Jack1
Source: Communications of the ACM; Feb1975, Vol. 18 Issue 2, p107-115, 9p, 9 Diagrams, 1 Chart
Database: Applied Science & Technology Source
Description
ISSN:00010782
DOI:10.1145/360666.360672