The complexity of automated reasoning.
Published: 1990
Language: eng
Number of pages: 104