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

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

12-06-2026 21:02:22

Access to the deal

Gesponsert Automated Reasoning

SpringerLink DE

85.59 EUR 85.59 EUR

12-06-2026 13:26:39

Access to the deal

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

Galaxus.de

85.59 EUR 85.59 EUR

12-06-2026 22:29:55

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)