Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "123426294"
Treffer 11 von 30
|
|
| Link zu diesem Datensatz | https://d-nb.info/942166817 |
| Titel | Deduction : automated logic / by Wolfgang Bibel. With the assistance of Steffen Hölldobler. And exercises by Gerd Neugebauer. Transl. by Monika Lekuse. With the assistance of Donald Sannella |
| Person(en) | Bibel, Wolfgang (Verfasser) |
| Werk(e) | Deduktion (engl.) |
| Verlag | London ; San Diego ; New York ; Boston ; Sydney ; Tokyo ; Toronto : Acad. Press |
| Zeitliche Einordnung | Erscheinungsdatum: 1993 |
| Umfang/Format | 253 S. : graph. Darst. ; 24 cm |
| ISBN/Einband/Preis | 0-12-095835-X Pp. |
| Sprache(n) | Englisch (eng), Originalsprache(n): Deutsch (ger) |
| Anmerkungen | Literaturverz. S. 223 - 239 |
| Schlagwörter | Deduktionssystem |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Leipzig |
Signatur: F 1994 A 2569
Bereitstellung in Leipzig |
Treffer 11 von 30
Administration
