> Detailanzeige

Bibel, Wolfgang [VerfasserIn] ; Neugebauer, Gerd [Sonstige Person, Familie und Körperschaft]; Hölldobler, Steffen [Sonstige Person, Familie und Körperschaft]

Deduktion : Automatisierung der Logik - [Reprint 2020]

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book
  • Titel: Deduktion : Automatisierung der Logik
  • Beteiligte: Bibel, Wolfgang [VerfasserIn]; Neugebauer, Gerd [Sonstige Person, Familie und Körperschaft]; Hölldobler, Steffen [Sonstige Person, Familie und Körperschaft]
  • Erschienen: München; Wien: De Gruyter Oldenbourg, [2020]
    [Online-Ausgabe]
  • Erschienen in: Handbuch der Informatik ; 6.2
  • Ausgabe: Reprint 2020
  • Umfang: 1 Online-Ressource (269 p); Zahlr. Abb
  • Sprache: Deutsch
  • DOI: 10.1515/9783110701128
  • ISBN: 9783110701128
  • Identifikator:
  • Schlagwörter: COMPUTERS / General
  • Art der Reproduktion: [Online-Ausgabe]
  • Entstehung:
  • Anmerkungen: In German
    Mode of access: Internet via World Wide Web
  • Beschreibung: Frontmatter -- Inhalt -- Vorwort der Herausgeber -- Vorwort des Autors -- 1. Einführung -- 2. Deduktion in der Aussagenlogik -- 3. Deduktion in der Prädikatenlogik -- 4. Verdichtungen und Strategien -- 5. Erweiterungen und Anwendungen -- 1. Aufgaben und Lösungen -- 2. Literatur -- 3. Deutsch-englisches Wörterbuch -- 4. Liste der Symbole -- 5. Register
  • Zugangsstatus: Eingeschränkter Zugang | Informationen zu lizenzierten elektronischen Ressourcen der SLUB