1. Home
  2. Medien
  3. Bücher
  4. Automated Reasoning

Automated Reasoning

53.49 EUR

Ein Fachbuch aus der IJCAR‑Konferenz in Manchester, das neueste Fortschritte in automatischer Beweisführung, formaler Logik und KI diskutiert, theoretische Modelle mit praktischen Fallstudien verbindet und Forschern neue Perspektiven eröffnet.

Teilen:

Ähnliche Produkte

Automated Reasoning

53.49 EUR
Quantifying Uncertainty in Reasoning and Question Answering

Quantifying Uncertainty in Reasoning and Question Answering

59.00 EUR
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

53.49 EUR
Automated Reasoning

Automated Reasoning

53.49 EUR
Automated Reasoning

Automated Reasoning

104.34 EUR
Automated Reasoning

Automated Reasoning

106.99 EUR
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

82.74 EUR

Automated Reasoning with Analytic Tableaux and Related Methods

53.49 EUR