Automated Deduction CADE-12
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Automated Deduction _ CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Lecture Notes in Computer Science)
Medimops DE
07-06-2026 23:54:54
SpringerLink DE 
Galaxus.de Ähnliche Produkte
Automated Deduction CADE-20
53.49 EUR
Automated Deduction - CADE-14
53.49 EUR
Automated Deduction - CADE-16
53.49 EUR