The computational complexity of logical theories /
41
Main Authors: | , |
---|---|
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 |