The automation of syllotistic.  II. Optimization and complexity issues.
By: By D. Cantone, E.G. Omodeo, A. Policriti.
Contributors: Omodeo, E.; Policriti, A.
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1988
Place of publication: New York
Language: eng
Number of pages: 19