Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
160.49 EUR
Ein dreibändiges Werk, das automatisierte Deduktion von Grundprinzipien bis zur praktischen Umsetzung begleitet; es verbindet formale Kalküle mit realen Systemdesigns und liefert praxisnahe Fallstudien für Logikexperten.
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
28-04-2026 20:31:25
