AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

Preise von
11,90

Gesponserte Links

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

11,90 €

11,90 €

Beschreibung (0)

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

Produktspezifikationen

Marken Independently Published
EAN
  • 9798194154524

Springer

Neuro Symbolic Reasoning and Learning (SpringerBriefs in Computer Science)

55,97 €
3 Shops vergleichen 3 Shops

Elsevier INC

Probabilistic Reasoning in Intelligent Systems Networks of Plausible Inference

64,90 €
Weitere Informationen Mehr Infos

Morgan Kaufmann

Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufmann Series...

63,54 €
3 Shops vergleichen 3 Shops

Springer Berlin Heidelberg

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes Computer Science,...

53,49 €
3 Shops vergleichen 3 Shops
Hervorgehobene Wahl
11,90 €
Zum Shop