Automated | Kaicus Deutschland

Automated Reasoning

53.49 EUR 3% Off 54.99 EUR

Marke: Stephane Demri

MPN: 101 black & white illustrations, biograp

ISBN: 3319085867

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-3%

Gesponsert Automated Reasoning

Hugendubel

53.49 EUR 54.99 CHF

17-09-2026 14:49:03

Access to the deal

-3%

Gesponsert Automated Reasoning, Fachbücher von Deepak Kapur, Christoph Weidenbach, Stéphane Demri

Galaxus.de

53.49 EUR 54.99 CHF

17-09-2026 19:25:40

Access to the deal

-3%

Gesponsert 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)

Medimops DE

53.49 EUR 54.99 CHF

16-09-2026 21:03:01

Access to the deal

Gesponsert Automated Reasoning

SpringerLink DE

54.99 EUR 54.99 CHF

18-09-2026 09:15:24

Access to the deal

Automated Reasoning

Gesponsert Automated Reasoning

Gesponsert Automated Reasoning, Fachbücher von Deepak Kapur, Christoph Weidenbach, Stéphane Demri

Gesponsert 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)

Gesponsert Automated Reasoning

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Automated Reasoning

Gesponsert Automated Reasoning

Gesponsert Automated Reasoning, Fachbücher von Deepak Kapur, Christoph Weidenbach, Stéphane Demri

Gesponsert 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)

Gesponsert Automated Reasoning

Ähnliche Produkte

Automated Reasoning

Automated Reasoning

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097), Band 3097)