| |
Andere Auflagen/Ausgaben:
| Verfasst von: | Schöning, Uwe [VerfasserIn]  |
|---|---|
| Titel: | Logik für Informatiker |
| Verf.angabe: | Uwe Schöning |
| Ausgabe: | 5. Auflage, korrigierter Nachdruck |
| Verlagsort: | Heidelberg ; Berlin |
| Verlag: | Spektrum Akademischer Verlag |
| E-Jahr: | 2005 |
| Jahr: | [2000] |
| Umfang: | 200 Seiten |
| Illustrationen: | Diagramme |
| Gesamttitel/Reihe: | Spektrum-Hochschultaschenbuch |
| Fussnoten: | Literaturverzeichnis: Seite 191-195 |
| ISBN: | 3-8274-1005-3 |
| 978-3-8274-1005-4 | |
| URL: | Inhaltsverzeichnis: http://www.gbv.de/dms/ilmenau/toc/519695046.PDF |
| Schlagwörter: | (s)Mathematische Logik |
| (s)Logische Programmierung | |
| (s)Logische Programmierung / (s)Mathematische Logik | |
| (s)Mathematische Logik | |
| (s)Logische Programmierung | |
| Sprache: | ger |
| RVK-Notation: | ST 125 |
| SK 130 | |
| ST 120 | |
| Sach-SW: | logic programming, resolution, Herbrand theorem |
| K10plus-PPN: | 1609684257 |
| Signatur | QR | Standort | Status | |
|---|---|---|---|---|
| INF 1 SCHOE 287/1 | | Bereichsbibl. Mathematik+Informatik / MA-CL | Präsenznutzung | |
| Mediennummer: 34141318, Inventarnummer: cl-0800011 | ||||
