Name: Automated Reasoning
Brand: Nicola Olivetti
SKU: ID12407337

Automated Reasoning

82.74 EUR 3% Off 85.59 EUR

Aus den Vorträgen der achten IJCAR-Konferenz in Coimbra entsteht ein kompakter Leitfaden zu modernen Algorithmen des automatisierten Beweisens, logischen Modellierens und deren praktischer Anwendung.

Marke: Nicola Olivetti

ISBN: 3319402285

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: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Computer Science)

Medimops DE

82.74 EUR 85.59 EUR

16-09-2026 21:54:30

Access to the deal

-0%

Gesponsert Automated Reasoning

Hugendubel

85.49 EUR 85.59 EUR

17-09-2026 14:31:48

Access to the deal

Gesponsert Automated Reasoning, Fachbücher von Nicola Olivetti, Ashish Tiwari

Galaxus.de

85.59 EUR 85.59 EUR

17-09-2026 19:37:22

Access to the deal

Automated Reasoning

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

Gesponsert Automated Reasoning

Gesponsert Automated Reasoning, Fachbücher von Nicola Olivetti, Ashish Tiwari

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Automated Reasoning

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

Gesponsert Automated Reasoning

Gesponsert Automated Reasoning, Fachbücher von Nicola Olivetti, Ashish Tiwari

Ähnliche Produkte

Automated Reasoning

Automated Reasoning

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: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)