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
07-06-2026 23:55:07
SpringerLink DE
Gesponsert
Galaxus.de
Automated Deduction - CADE-21, Fachbücher von Frank Pfenning
Galaxus.de
08-06-2026 09:11:49
Ähnliche Produkte
Automated Deduction -- CADE-24
52.84 EUR
Automated Deduction CADE-12
52.94 EUR
Automated Deduction ' CADE 28
42.79 EUR