Using Sophisticated Models in Resolution Theorem Proving: 90 (Lecture Notes Computer Science, 90)

Prices from
44.99

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 253, Edition: 1980, Paperback, Springer
Description Description
Product Specifications Product specifications
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

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

Pages: 253, Edition: 1980, Paperback, Springer

Product specifications

Brand Springer
EAN
  • 9783540102311

Prices were last updated on:

Springer

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25,...

£ 42.74
More Information More Info

Springer

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27,...

£ 42.74
More Information More Info

Springer

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

£ 64.82
Compare 2 stores 2 stores

Springer

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

£ 71.54
More Information More Info
Featured Choice
£ 44.99
To Shop