Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 658 von 730
|
|
| Link zu diesem Datensatz | https://d-nb.info/990081303 |
| Art des Inhalts | Konferenzschrift, 2006, Ilmenau |
| Titel | PCC '06 / 5th International Workshop on Proof, Computation, Complexity, Ilmenau, July 24 - 25, 2006. Ed. by Karl-Heinz Niggl ... |
| Person(en) | Niggl, Karl-Heinz (Mitwirkender) |
| Organisation(en) | PCC (5 : 2006 : Ilmenau) (Herausgebendes Organ) |
| Verlag | Ilmenau : Univ.-Verl. - [Ilmenau] : [Univ.-Bibliothek] [Vertrieb] |
| Zeitliche Einordnung | Erscheinungsdatum: 2006 |
| Umfang/Format | Online-Ressource, ca. 0,4 MB |
| Persistent Identifier | URN: urn:nbn:de:gbv:ilm1-2006100027 |
| URL | http://www.db-thueringen.de/servlets/DocumentServlet?id=6361 (Verlag) (kostenfrei zugänglich) |
| ISBN/Einband/Preis |
978-3-939473-01-5 3-939473-01-4 |
| Sprache(n) | Englisch (eng) |
| Schlagwörter |
Beweistheorie ; Kongress ; Ilmenau <2006> Berechnungskomplexität ; Kongress ; Ilmenau <2006> |
| DDC-Notation | 511.36 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 658 von 730
Administration
