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