Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Computational complexity."
Treffer 94 von 97
|
|
| Link zu diesem Datensatz | https://d-nb.info/790788446 |
| Titel | The computational complexity of logical theories / Jeanne Ferrante ; Charles W. Rackoff |
| Person(en) |
Ferrante, Jeanne (Verfasser) Rackoff, Charles (Verfasser) |
| Verlag | Berlin, Heidelberg, New York : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 1979 |
| Umfang/Format | V, 243 S. ; 25 cm |
| ISBN/Einband/Preis |
978-3-540-09501-9 (Berlin, Heidelberg, New York) kart. : DM 28.50 3-540-09501-2 (Berlin, Heidelberg, New York) kart. : DM 28.50 978-0-387-09501-1 (New York, Heidelberg, Berlin) kart. 0-387-09501-2 (New York, Heidelberg, Berlin) kart. |
| Beziehungen | Lecture notes in mathematics ; 718 |
| Anmerkungen |
Literaturverz. S. 234 - 238. Status nach VGG: lieferbar |
| Schlagwörter | Komplexität <Math.> ; Prädikatenlogik ; Mathematische Logik ; Komplexität (Mathematik) ; Prädikatenkalkül ; Berechenbarkeit |
| Sachgruppe(n) | 19a Mathematik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: D 79/20878
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SB 6788-718
Bereitstellung in Leipzig |
Treffer 94 von 97
Administration
