Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings: 11th ... Notes in Computer Science, 607, Band 607)

Automated Deduction
Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Deduction - CADE-11
Hugendubel
106.99 EUR
Preis aktualisiert am: 06-11-2026 11:23:18
Siehe Produktangebot
Gesponsert
Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings: 11th ... Notes in Computer Science, 607, Band 607)
Medimops DE
106.99 EUR
Preis aktualisiert am: 06-11-2026 12:53:06
Siehe Produktangebot
Gesponsert
Automated Deduction - CADE-11
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 09-11-2026 12:06:28
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540556028
MPN
Springer Berlin Heidelberg 6902889

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
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
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science, 1421, Band 1421)
Aus53.49 EUR 3
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-18
Aus53.49 EUR 3
Produkt anzeigen
Automated Deduction -
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
Aus59.00 EUR 1
Produkt anzeigen
Menü