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 |