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

Automated Deduction
Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)
Medimops DE
85.09 EUR
Preis aktualisiert am: 09-11-2026 15:09:35
Siehe Produktangebot
Gesponsert
Automated Deduction - CADE 27
Hugendubel
85.49 EUR
Preis aktualisiert am: 07-11-2026 11:36:29
Siehe Produktangebot
Gesponsert
Automated Deduction – CADE 27
SpringerLink DE
94.50 EUR
Preis aktualisiert am: 09-11-2026 12:14:40
Siehe Produktangebot

Allgemein

Marke
Springer
ISBN
Springer 3030294358

Eigenschaften

Ähnliche Produkte

Automated Deduction
Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings (Lecture Notes in Computer Science)
Aus85.04 EUR 4
Produkt anzeigen
Automated Deduction ¿ CADE-12
Automated Deduction ¿ CADE-12
Aus52.94 EUR 4
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-18
Aus53.49 EUR 3
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... Notes in Computer Science, 3632, Band 3632)
Aus53.49 EUR 3
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, ... Notes in Computer Science (1249), Band 1249)
Aus53.49 EUR 3
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science, 1632, Band 1632)
Aus59.00 EUR 1
Produkt anzeigen
Menü