Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=004* or dcs=005* or dcs=006*
Treffer 37062 von 37745
|
|
| Link zu diesem Datensatz | https://d-nb.info/977563359 |
| Titel | Using resolution as decision procedure / Hans de Nivelle. Max-Planck-Institut für Informatik |
| Person(en) | Nivelle, Hans de (Verfasser) |
| Verlag | Saarbrücken : MPI Informatik, Bibliothek & Dokumentation |
| Zeitliche Einordnung | Erscheinungsdatum: 2005 |
| Umfang/Format | 147 S. : graph. Darst. ; 30 cm |
| ISBN/Einband/Preis | kart. |
| Identifikationsnummern | Reportnummer: MPI I 2005 2 003 |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | Enth. 6 Beitr. - Literaturangaben. - Auch im Internet unter der Adresse http://www.mpi-sb.mpg.de verfügbar |
| DDC-Notation | 004.0151135 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Frankfurt |
Signatur: 2006 B 11320
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2006 B 1586
Bereitstellung in Leipzig |
Treffer 37062 von 37745
Administration
