> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Handbook of practical logic and automated reasoning Beteiligte: Harrison, John [Verfasser:in] Erschienen: Cambridge: Cambridge Univ. Press, [2009] Umfang: XIX, 681 Seiten; Diagramme; 26 cm Sprache: Englisch ISBN: 0521899575; 9780521899574 RVK-Notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Mathematische Logik > Logischer Schluss > Informatik Mathematische Logik > Logischer Schluss > Informatik Entstehung: Anmerkungen: Literaturverzeichnis: Seite 631 - 667 Hier auch später erschienene, unveränderte Nachdrucke