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 (2) 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: 10-08-2026 12:51:32
Siehe Produktangebot
Gesponsert
Automated Deduction – CADE 27
SpringerLink DE
94.50 EUR
Preis aktualisiert am: 10-08-2026 23:06:29
Siehe Produktangebot

Allgemein

Marke
Springer
ISBN
Springer 3030294358

Eigenschaften

Ähnliche Produkte

Automated Deduction ¿ CADE-12
Automated Deduction ¿ CADE-12
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-18
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)
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)
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)
Produkt anzeigen
Menü