The compuational complexity of logical theories
Ferrante, Jeanne
The compuational complexity of logical theories Jeanne Ferrante; Charles W. Rackoff - New York Springer-Verlag 1979 - X, 243 p 25 cm
Contine bibliografie si index
3540095012
0387095012
The compuational complexity of logical theories Jeanne Ferrante; Charles W. Rackoff - New York Springer-Verlag 1979 - X, 243 p 25 cm
Contine bibliografie si index
3540095012
0387095012