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 ...

Wo zu kaufen (3) Eigenschaften

Gesponsert

Medimops DE

85.04 EUR

Preis aktualisiert am: 02-11-2026 22:54:25

Siehe Produktangebot

Gesponsert

Automated Deduction - CADE 26

Hugendubel

85.49 EUR

Preis aktualisiert am: 04-11-2026 05:31:08

Siehe Produktangebot

Gesponsert

Automated Deduction – CADE 26

SpringerLink DE

94.50 EUR

Preis aktualisiert am: 03-11-2026 17:51:13

Siehe Produktangebot

Allgemein

Marke

Leonardo de Moura

ISBN

Leonardo de Moura 3319630458

Eigenschaften

Ähnliche Produkte

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)

Aus52.94 EUR 4

Produkt anzeigen

Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science, Band 7898)

Aus52.84 EUR 4

Produkt anzeigen

Automated Deduction - CADE-21

Aus53.49 EUR 4

Produkt anzeigen

Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)

Aus85.09 EUR 4

Produkt anzeigen

Automated Deduction ¿ CADE 29

Aus39.98 EUR 3

Produkt anzeigen

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)

Aus42.79 EUR 3

Produkt anzeigen