| Titel | Logik für Informatiker / Uwe Schöning |
|---|
| Person | Schöning, Uwe [Verfasser/in] |
|---|
| Veröffentlichung | Heidelberg ; Berlin : Spektrum Akademischer Verlag, [2000]
© 2000 |
|---|
| Umfang / Format | 200 Seiten : Diagramme |
|---|
| Ausgabe | 5. Auflage, korrigierter Nachdruck |
|---|
| Anmerkungen | Literaturverzeichnis: Seite 191-195
Archivierung/Langzeitarchivierung gewährleistet DE-16 |
|---|
| Sprache | Deutsch (Sprache des Textes) |
|---|
| Land | Deutschland |
|---|
| ISBN | 3827410053 |
|---|
| Nummer | 519695046 (Umgelenkter Satz)
255602245 (ID-Nr. OCLC)
255602245 (ID-Nr. OCLC)
AC05191613 (Sonstige Nr.)
519695046 (Sonstige Nr.)
1609684257 (K10Plus-Nummer) |
|---|
| Schriftenreihe | (Spektrum-Hochschultaschenbuch) |
|---|
| Literaturtyp | Lehrbuch |
|---|
| Schlagwörter | Mathematische Logik
Logische Programmierung
logic programming, resolution, Herbrand theorem |
|---|
| Schlagwortfolge | Logische Programmierung ; Mathematische Logik |
|---|
| Systematik | SK 130 Logik und Grundlagen, Metamathematik,
ST 120 Grundlagen der Informatik
ST 125 Schaltungstheorie, Rechnerarithmetik, Logik |
|---|
| Lokale Systematik | QAA 206 Logik |
|---|