Name: Automated Reasoning
Brand: Nicola Olivetti
SKU: ID12407337
Availability: InStock

Automated Reasoning

82.74 EUR 6% Off 87.99 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

-6%

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 87.99 EUR

27-07-2026 22:44:00

Access to the deal

-3%

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

Galaxus.de

85.59 EUR 87.99 EUR

29-07-2026 01:49:59

Access to the deal

Gesponsert Automated Reasoning

SpringerLink DE

87.99 EUR 87.99 EUR

28-07-2026 20:09:09

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, Fachbücher von Nicola Olivetti, Ashish Tiwari

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

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

Gesponsert Automated Reasoning

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