-
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
-
Link To Document :
