Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Computational complexity."
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/944855911 |
Art des Inhalts | Konferenzschrift, 1994, Indianapolis (Ind.) |
Titel | Logic and computational complexity : selected papers / International Workshop LCC '94, Indianapolis, IN, USA, October 13 - 16, 1994. Daniel Leivant (ed.) |
Person(en) | Leivant, Daniel (Herausgeber) |
Organisation(en) | LCC (1994 : Indianapolis, Ind.) (Herausgebendes Organ) |
Verlag | Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer |
Zeitliche Einordnung | Erscheinungsdatum: 1995 |
Umfang/Format | VIII, 514 S. : graph. Darst. ; 24 cm |
ISBN/Einband/Preis |
978-3-540-60178-4 kart. : DM 102.00 3-540-60178-3 kart. : DM 102.00 |
Beziehungen | Lecture notes in computer science ; Vol. 960 |
Anmerkungen | Literaturangaben |
Schlagwörter |
Komplexitätstheorie ; Beweistheorie ; Logik ; Kongress ; Indianapolis Komplexitätstheorie ; Berechnungstheorie ; Kongress ; Indianapolis |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 1995 A 50210
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 1995 A 50210
Bereitstellung in Leipzig |
