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

Prices from
11.12

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:

€ 11.12

€ 11.12

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

Morgan Kaufmann

Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference

€ 64.31
Compare 2 stores 2 stores

OmniScriptum

Logical Methods in Computer Science: Theoretical Science, Logic Programming, Abductive Programming

€ 145.79
Compare 2 stores 2 stores

Independently Published

Prolong for AI and Intelligent Systems: A Practical Guide to Expert Systems,...

€ 22.46
Compare 2 stores 2 stores

OmniScriptum

Automated Reasoning: computer science, Reasoning, Artificial intelligence, Theoretical theorem proving, Interactive proving

€ 127.10
Compare 2 stores 2 stores
Featured Choice
€ 11.12
To Shop