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

27-04-2026 03:36:25

Access to the deal

Gesponsert Automated Reasoning

SpringerLink DE

85.59 EUR 85.59 EUR

27-04-2026 06:43:12

Access to the deal

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

Galaxus.de

85.59 EUR 85.59 EUR

26-04-2026 21:35:03

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

Quantifying Uncertainty in Reasoning and Question Answering

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning