The computational complexity of logical theories /

The computational complexity of logical theories /

41

Bibliographic Details
Main Authors: 366280 Ferrante, Jeanne, Rackoff, Charles W.
Format:
Published: Berlin : Springer-Verlag, 1979
Subjects:
Predicate calculus
Description
Summary:41

Similar Items