Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Dieses dreibändige Set bietet einen tiefgreifenden Einblick in automatisierte Deduktion: Band I legt die theoretische Basis mit klaren Formeln, Band II führt zu praktischen Systemarchitekturen und Band III demonstriert konkrete Anwendungen in der Logikprogrammierung.
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
