Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
160.49 EUR
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
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
22-04-2026 22:15:44
Gesponsert
Galaxus.de
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher
Galaxus.de
22-04-2026 21:04:50
