Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Dieses Buch bietet einen tiefen Einblick in automatisierte Deduktion, von den theoretischen Grundlagen über praktische Systemimplementierungen bis hin zu konkreten Anwendungsfällen und deren Optimierung.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher
Galaxus.de
29-07-2026 01:13:04
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
29-07-2026 07:38:30
