Complexity in Mechanized Hypothesis Formation

Pavel Pudlák, Frederick N. Springsteel. Complexity in Mechanized Hypothesis Formation. Theoretical Computer Science, 8:203-225, 1979.

Possibly Related Publications

The following publications are possibly variants of this publication: