Grundlagen des automatischen Beweisens, Zweite Auflage Jean Gallier ist ein renommiertes Studienbuch, das tief in das automatische Beweisen im Bereich der Informatik einführt. Diese Ausgabe bietet eine theoretische Grundlage und praktische Einblicke, um Algorithmen und Methoden für automatisches Beweisen zu verstehen.
Das Buch eignet sich für Studierende und Fachleute in der Informatik, die ihr Wissen über Logik und automatische Beweisverfahren vertiefen möchten.
Produktinformationen
- Autor: Jean Gallier
- Reihe: Dover Books on Computer Science
- Verlag: Dover Publications Inc.
- Erscheinungsdatum: 2015-06-26
- Anzahl Seiten: 544
- ISBN: 9780486780825
- Thema: Mathematische Logik
- BISAC: MATHEMATICS / Logic