AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Prices from
9.60

Featured

COMPARE ALL WEBSHOPS (2)

Description

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

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

Compare webshops (2)

Shop
Price
Amazon Logo
£ 9.60
To Shop
Amazon Marketplace Logo
£ 9.60
To Shop
Description (0)

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Product specifications

Brand Independently Published
EAN
  • 9798173692702

Independently Published

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical...

£ 9.52
Compare 2 stores 2 stores

Springer

Automated Theorem Proving in Software Engineering

£ 42.74
More Information More Info

North-Holland

Automated Theorem Proving: A Logical Basis (Fundamental Studies in Computer Science)

£ 41.79
More Information More Info

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-1

£ 2.62
More Information More Info
Featured Choice
£ 9.60
To Shop