Automated Deduction ' CADE 26

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings (Lecture Notes in Computer Science)

84.94 EUR
Preis aktualisiert am: 21-04-2026 16:51:19
Siehe Produktangebot

Gesponsert Automated Deduction – CADE 26

85.59 EUR
Preis aktualisiert am: 21-04-2026 21:02:08
Siehe Produktangebot

Gesponsert Automated Deduction - CADE 26, Fachbücher von Leonardo De Moura

85.59 EUR
Preis aktualisiert am: 21-04-2026 20:19:47
Siehe Produktangebot
Bezeichner
ISBN Leonardo de Moura 3319630458
Abmessungen / Gewicht
Hauptmerkmale
Leonardo de Moura