Title of article

Cutting Plane and Frege Proofs

Author/Authors

Clote P.، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 1195

Pages

20

From page

103

To page

122

Journal title

Information and Computation

Serial Year

1195

Journal title

Information and Computation

Record number

261571