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

Automated Reasoning

106.99 EUR 104.34 EUR 2% Off

Entdecken Sie in den Proceedings der IJCAR‑Konferenz von 2004 aus Cork die neuesten Entwicklungen in automatisiertem Beweis, formaler Logik und Theoremproving, ergänzt durch praxisorientierte Fallstudien und theoretische Fortschritte.

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

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

85.59 EUR

Automated Reasoning with Analytic Tableaux and Related Methods

53.49 EUR

Automated Development of Fundamental Mathematical Theories (Automated Reasoning Series, 2, Band 2)

216.64 EUR