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

Prices from
43.95

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 232, Edition: 1st ed. 2021, Hardcover, Springer
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 43.95
To Shop
Amazon Marketplace Logo
£ 43.95
To Shop
Description (1)

Pages: 232, Edition: 1st ed. 2021, Hardcover, Springer

Product specifications

Brand Springer
EAN
  • 9783030878818

Cambridge University Press

Handbook of Practical Logic and Automated Reasoning

£ 114.62
More Information More Info

Cambridge University Press

Handbook of Practical Logic and Automated Reasoning

£ 103.23
Compare 2 stores 2 stores

Springer

First Order Logic and Automated Theorem Proving (Texts in Computer Science)

£ 64.86
Compare 2 stores 2 stores

Springer

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

£ 71.61
More Information More Info
Featured Choice
£ 43.95
To Shop