The computational complexity of logical theories /

41

Bibliographic Details
Main Authors: 366280 Ferrante, Jeanne, Rackoff, Charles W.
Format:
Published: Berlin : Springer-Verlag, 1979
Subjects:
_version_ 1826370518393028608
author 366280 Ferrante, Jeanne
Rackoff, Charles W.
author_facet 366280 Ferrante, Jeanne
Rackoff, Charles W.
author_sort 366280 Ferrante, Jeanne
collection OCEAN
description 41
first_indexed 2024-03-04T16:20:13Z
format
id KOHA-OAI-TEST:77153
institution Universiti Teknologi Malaysia - OCEAN
last_indexed 2024-03-04T16:20:13Z
publishDate 1979
publisher Berlin : Springer-Verlag,
record_format dspace
spelling KOHA-OAI-TEST:771532020-12-19T17:00:22ZThe computational complexity of logical theories / 366280 Ferrante, Jeanne Rackoff, Charles W. Berlin : Springer-Verlag,197941PSZJBLPredicate calculusURN:ISBN:3540095012
spellingShingle Predicate calculus
366280 Ferrante, Jeanne
Rackoff, Charles W.
The computational complexity of logical theories /
title The computational complexity of logical theories /
title_full The computational complexity of logical theories /
title_fullStr The computational complexity of logical theories /
title_full_unstemmed The computational complexity of logical theories /
title_short The computational complexity of logical theories /
title_sort computational complexity of logical theories
topic Predicate calculus
work_keys_str_mv AT 366280ferrantejeanne thecomputationalcomplexityoflogicaltheories
AT rackoffcharlesw thecomputationalcomplexityoflogicaltheories
AT 366280ferrantejeanne computationalcomplexityoflogicaltheories
AT rackoffcharlesw computationalcomplexityoflogicaltheories