Name: Automated Reasoning
Brand: Nicola Olivetti
SKU: ID12407337

Automated Reasoning

82.74 EUR 12% Off 94.50 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

-12%

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

02-11-2026 22:49:58

Access to the deal

-10%

Gesponsert Automated Reasoning

Hugendubel

85.49 EUR 94.50 EUR

04-11-2026 03:52:10

Access to the deal

Gesponsert Automated Reasoning

SpringerLink DE

94.50 EUR 94.50 EUR

03-11-2026 17:51:08

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

Ä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

Ähnliche Produkte

Automated Reasoning for Systems Biology and Medicine

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12167)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12166)

Automated Reasoning