Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Computer Science)

Aus den Vorträgen der achten IJCAR-Konferenz in Coimbra entsteht ein kompakter Leitfaden, der die neuesten Algorithmen für automatisiertes Beweisen ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Computer Science)
Medimops DE
82.74 EUR
Preis aktualisiert am: 27-04-2026 19:12:58
Siehe Produktangebot
Gesponsert
Automated Reasoning
SpringerLink DE
85.59 EUR
Preis aktualisiert am: 27-04-2026 22:10:39
Siehe Produktangebot
Gesponsert
Automated Reasoning, Fachbücher von Nicola Olivetti, Ashish Tiwari
Galaxus.de
85.59 EUR
Preis aktualisiert am: 27-04-2026 18:23:51
Siehe Produktangebot

Allgemein

Marke
Nicola Olivetti
ISBN
Nicola Olivetti 3319402285

Eigenschaften

Ähnliche Produkte

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)
Produkt anzeigen
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... Notes in Computer Science, Band 8562)
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... Notes in Computer Science, Band 8562)
Produkt anzeigen
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science, 3097, Band 3097)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science, 3097, Band 3097)
Produkt anzeigen
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: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)
Produkt anzeigen
Quantifying Uncertainty in Reasoning and Question Answering
Quantifying Uncertainty in Reasoning and Question Answering
Produkt anzeigen
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Produkt anzeigen
Menü