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
22-04-2026 05:40:26
Gesponsert
SpringerLink DE
Automated Deduction in Classical and Non-Classical Logics
SpringerLink DE
22-04-2026 09:19:02
Ähnliche Produkte
Automated Deduction -- CADE-24
52.84 EUR
