Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Computational complexity."
Treffer 25 von 33
|
|
| Link zu diesem Datensatz | https://d-nb.info/880965460 |
| Titel | On the computational complexity of quantified Horn clauses / Marek Karpinski ; Hans Kleine-Büning ; Peter H. Schmitt. Inst. für Informatik, Univ. Bonn |
| Person(en) |
Karpiński, Marek (Verfasser) Kleine Büning, Hans (Verfasser) Schmitt, Peter H. (Verfasser) |
| Verlag | Bonn : Inst. für Informatik |
| Zeitliche Einordnung | Erscheinungsdatum: 1987 |
| Umfang/Format | 8 Bl. ; 30 cm |
| ISBN/Einband/Preis | kart. (Pr. nicht mitget.) |
| Beziehungen | Rheinische Friedrich-Wilhelms-Universität Bonn. Institut für Informatik: Research report ; No. 8520 : CS |
| Anmerkungen | Status nach VGG: vergriffen |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Frankfurt |
Signatur: DKb 88/2902
Bereitstellung in Frankfurt |
Treffer 25 von 33
Administration
