Automated Deduction - CADE-21
53.49 EUR
Inhaltlich reich an Theorien der automatisierten Deduktion, bietet das Buch aus der CADE‑21 in Bremen einen tiefen Einblick in aktuelle Algorithmen und logische Formalismen für Fachleute.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science)
Medimops DE
22-04-2026 05:40:29
SpringerLink DE
Gesponsert
Galaxus.de
Automated Deduction - CADE-21, Fachbücher von Frank Pfenning
Galaxus.de
21-04-2026 19:03:44
Ähnliche Produkte
Automated Deduction CADE-12
52.94 EUR
Automated Deduction - CADE-21
53.49 EUR
Automated Deduction CADE 29
36.22 EUR
Automated Deduction -- CADE-24
52.84 EUR