RecordNumber

20362

Author

Ferrante, Jeanne

Title

computational complexity of logical theories

Author Statement

Jeanne Ferrante , Charles W. Rackoff

Publication

Springer

Publication Year

1979

Main Class

511

Sub Class

.3

Cutter no

F373c

وارد كنندة اطلاعات

farazbakht 1117^d// , khodaei^d2003/08/26 09:09:25