The Computational Complexity of Logical Theories XJMJTP4W25
| URI | m2://res/XJMJTP4W25 |
|---|---|
| Kind | monograph |
| Creators | Jeanne Ferrante, Charles W. Rackoff |
| Date | 1979 |
| Scope | in |
Expressions
e1: edition
| Date | 1979 |
|---|---|
| Ids | DOI 10.1007/bfb0062837 |
- m1: print, Springer Berlin Heidelberg, 1979. isbn 9783540095019, isbn 9783540351979
Relations
- part_of Lecture Notes in Mathematics
Catalogue records
- springer-series: 10.1007/bfb0062837 (work)