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

Powered by Koha