Automated Deduction in Classical and Non-Classical Logics: Selected Papers
53.49 EUR
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science)
Medimops DE
08-06-2026 15:50:04
Gesponsert
SpringerLink DE
Automated Deduction in Classical and Non-Classical Logics
SpringerLink DE
08-06-2026 11:19:07
Ähnliche Produkte
Automated Deduction -- CADE-24
52.84 EUR
Automated Deduction in Geometry
53.49 EUR
