Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings (Lecture Notes in Computer Science)
Der Sammelband der CADE‑26 dokumentiert die neuesten Forschungsergebnisse aus Göteborg 2017: von theoretischen Modellen über algorithmische Innova ...
Gesponsert
Medimops DE
85.04 EUR
Preis aktualisiert am: 15-06-2026 08:02:21
Gesponsert
SpringerLink DE
85.59 EUR
Preis aktualisiert am: 15-06-2026 15:15:42
Gesponsert
Galaxus.de
85.59 EUR
Preis aktualisiert am: 15-06-2026 04:21:06
Allgemein
Marke
Leonardo de Moura
ISBN
Leonardo de Moura 3319630458
