Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
213.99 EUR
Ein dreibändiges Werk über automatisierte Deduktion: Band I legt die Grundlagen der Kalküle und Methoden fest, Band II beleuchtet Systeme und Implementierungstechniken, Band III zeigt konkrete Anwendungen in Logik und Informatik.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
SpringerLink DE
10-06-2026 10:27:22
