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

Prices from
9.52

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 9.52

£ 9.52

Description (0)

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

Product specifications

Brand Independently Published
EAN
  • 9798194154524

Springer

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification (Texts in Computer Science)

£ 31.48
Compare 2 stores 2 stores

Springer

Constraint Solving and Planning with Picat: 0 (SpringerBriefs in Intelligent Systems)

£ 49.99
Compare 2 stores 2 stores

Morgan Kaufmann

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

£ 28.59
Compare 2 stores 2 stores

Springer

Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems Book 0)

£ 47.49
More Information More Info
Featured Choice
£ 9.52
To Shop