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

Prices from
74.99

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 344, Edition: Second Edition 1996, Paperback, Springer
Description Description
Product Specifications Product specifications
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

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

Pages: 344, Edition: Second Edition 1996, Paperback, Springer

Product specifications

Brand Springer
EAN
  • 9781461275152

Prices were last updated on:

North-Holland

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

£ 41.79
More Information More Info

Academic Press

Symbolic Logic and Mechanical Theorem Proving (Computer Science Applied Mathematics)

£ 41.79
More Information More Info

Springer

Automated Theorem Proving in Software Engineering

£ 42.74
More Information More Info

Springer

Automated Theorem Proving: Theory and Practice

£ 94.99
More Information More Info
Featured Choice
£ 74.99
To Shop