> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Logic for computer scientists Beteiligte: Schöning, Uwe [Verfasser:in] Erschienen: Boston; Basel; Berlin: Birkhäuser, 2008 Erschienen in: Modern Birkhäuser Classics Ausgabe: Reprint of the 1989 ed. Umfang: 166 S.; graph. Darst; 235 mm x 155 mm Sprache: Englisch ISBN: 9780817647629; 0817647627 RVK-Notation: ST 120 : Grundlagen der Informatik ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Schlagwörter: Mathematische Logik Logische Programmierung Mathematische Logik Logische Programmierung Entstehung: Anmerkungen: