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 ü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
24-04-2026 20:51:43
