Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
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
03-08-2026 00:43:27
