Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
160.49 EUR
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
07-04-2025 16:23:58
Ähnliche Produkte
Automated Deduction ' CADE 28
42.79 EUR
Automated Deduction CADE 29
39.98 EUR
