Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

ISBD

Normal View ISBD View
Ferrante, Jeanne

The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff - Berlin : Springer-Verlag, 1979 - X, 243 p. : ill. ; 24 cm. - Lecture notes in mathematics ; 718 .

3540095012


Predicate calculus
Computational complexity

There are no comments for this item.

Log in to your account to post a comment.

Important links here.