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

Preise von
11,90

Hervorgehoben

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)

Shop
Preis
Versandkosten
Total price
Amazon Logo
11,90 €
Gratis
11,90 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
11,90 €
Gratis
11,90 €
Zum Shop
Gratis Shipping Costs
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)

54,91 €
2 Shops vergleichen 2 Shops

Morgan Kaufmann

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

64,12 €
2 Shops vergleichen 2 Shops

Springer Berlin Heidelberg

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

53,49 €
2 Shops vergleichen 2 Shops

Springer

Logic in Computer Science: Modelling and Reasoning about Systems

64,45 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
11,90 €
Zum Shop