> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Logik für Informatiker Beteiligte: Schöning, Uwe [VerfasserIn] Erschienen: Heidelberg; Berlin: Spektrum Akademischer Verlag, [2000] Erschienen in: Spektrum-Hochschultaschenbuch Ausgabe: 5. Auflage, korrigierter Nachdruck Umfang: 200 Seiten; Diagramme Sprache: Deutsch ISBN: 3827410053 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 120 : Grundlagen der Informatik ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Schlagwörter: Mathematische Logik Logische Programmierung Logische Programmierung > Mathematische Logik Mathematische Logik Logische Programmierung Entstehung: Anmerkungen: Literaturverzeichnis: Seite 191-195
Bereichsbibliothek DrePunct Signatur: ST 120 S365(5) Barcode: 34666850 Status: Verfügbarkeit bitte in Prof Wissensbasierte Systeme (cfaed) erfragen.