Accession Number : AD0143834

Title :   QUANTIFIER ELIMINATION IN A PROBLEM OF LOGICAL DESIGN

Corporate Author : MICHIGAN UNIV ANN ARBOR

Personal Author(s) : ELGOT, CALVIN C. ; WRIGHT, JESSE B.

Report Date : 25 AUG 1957

Pagination or Media Count : 1

Descriptors :   *COMPUTERS, *MATHEMATICAL LOGIC, CIRCUITS.

Distribution Statement : APPROVED FOR PUBLIC RELEASE