Complete problems in the first-order predicate calculus
By: by David A. Plaisted.
Series: [Report] - UIUCDCS-R-79 ; 978
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1979
Place of publication: Urbana, Ill
Language: eng
Number of pages: 14
Subjects: Predicate calculus.; Computational complexity.
Notes: Includes bibliographical references.
"UILU-ENG 79 1726."