Name: Automated Reasoning
Brand: Stephan Schulz
SKU: ID11524453
Availability: InStock

Automated Reasoning

53.49 EUR

Der Band der neunten IJCAR‑Konferenz aus Oxford präsentiert aktuelle Forschung zu automatischem Beweisführung, formaler Logik und KI‑Verifikation; er verbindet theoretische Modelle mit praxisnahen Fallstudien für Wissenschaftler und Entwickler.

Marke: Stephan Schulz

ISBN: 3319942042

MPN: YES61371385

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)

Medimops DE

53.49 EUR 53.49 EUR

12-06-2026 06:01:56

Access to the deal

Gesponsert Automated Reasoning

SpringerLink DE

53.49 EUR 53.49 EUR

12-06-2026 13:29:28

Access to the deal

Gesponsert Automated Reasoning, Fachbücher von Stephan Schulz, Roberto Sebastiani, Didier Galmiche

Galaxus.de

53.49 EUR 53.49 EUR

12-06-2026 05:51:43

Access to the deal

Automated Reasoning

Gesponsert Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)

Gesponsert Automated Reasoning

Gesponsert Automated Reasoning, Fachbücher von Stephan Schulz, Roberto Sebastiani, Didier Galmiche

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Automated Reasoning

Gesponsert Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)

Gesponsert Automated Reasoning

Gesponsert Automated Reasoning, Fachbücher von Stephan Schulz, Roberto Sebastiani, Didier Galmiche

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