Login

Type of document: Lecture Notes

Language: English

Author(s): Pudlák, Pavel

Title: Polynomially Complete Problems in the Logic of Automated Discovery

Year: 1975

Pages: 1-4

Catalog