Accession Number:

AD0143834

Title:

QUANTIFIER ELIMINATION IN A PROBLEM OF LOGICAL DESIGN

Descriptive Note:

Corporate Author:

MICHIGAN UNIV ANN ARBOR

Personal Author(s):

Report Date:

1957-08-25

Pagination or Media Count:

1.0

Abstract:

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE