Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008, Proceedings (Lecture Notes in . . . / ... (Lecture Notes in Computer Science)

Automated Reasoning
Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Reasoning
Hugendubel
53.49 EUR
Preis aktualisiert am: 23-09-2026 05:26:56
Siehe Produktangebot
Gesponsert
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008, Proceedings (Lecture Notes in . . . / ... (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 22-09-2026 15:12:28
Siehe Produktangebot
Gesponsert
Automated Reasoning
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 23-09-2026 00:20:59
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Aus41.45 EUR 4
Produkt anzeigen
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Aus50.25 EUR 3
Produkt anzeigen
Automated Reasoning and Mathematics
Automated Reasoning and Mathematics
Aus48.99 EUR 4
Produkt anzeigen
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science)
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science)
Aus53.49 EUR 3
Produkt anzeigen
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science (1705), Band 1705)
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science (1705), Band 1705)
Aus53.49 EUR 3
Produkt anzeigen
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Aus53.49 EUR 3
Produkt anzeigen
Menü