Automated Deduction - A Basis for Applications Volume I Foundations | Kaicus Deutschland

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9, Band 9)

197.54 EUR 8% Off 213.99 EUR

Ein dreibändiges Lehrbuch über automatisierte Deduktion, das zunächst die theoretischen Kalküle und Methoden einführt, anschließend fortgeschrittene Implementierungssysteme analysiert und zuletzt praxisnahe Anwendungen in Logik und Informatik demonstriert.

Marke: Wolfgang Bibel
ISBN: 0792351304