Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)

Automated Reasoning
Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Reasoning
Hugendubel
106.99 EUR
Preis aktualisiert am: 29-10-2026 09:29:32
Siehe Produktangebot
Gesponsert
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)
Medimops DE
106.99 EUR
Preis aktualisiert am: 28-10-2026 22:12:19
Siehe Produktangebot
Gesponsert
Automated Reasoning
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 28-10-2026 06:11:05
Siehe Produktangebot

Allgemein

Marke
Tobias Nipkow
ISBN
Tobias Nipkow 3540422544
MPN
Tobias Nipkow Illustrations

Eigenschaften

Ähnliche Produkte

Automated Reasoning
Automated Reasoning
Aus69.96 EUR 4
Produkt anzeigen
Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
Aus101.54 EUR 4
Produkt anzeigen
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science, 13385, Band 13385)
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science, 13385, Band 13385)
Aus42.79 EUR 4
Produkt anzeigen
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12166)
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12166)
Aus85.49 EUR 4
Produkt anzeigen
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12167)
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12167)
Aus78.99 EUR 4
Produkt anzeigen
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Aus41.45 EUR 3
Produkt anzeigen
Menü