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

Prices from
64.85

Featured

COMPARE ALL WEBSHOPS (1)

Description

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

Compare webshops (1)

Shop
Price
Amazon Logo
£ 64.85
To Shop
Description (1)

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

Product specifications

Brand Springer
EAN
  • 9781461275152

Springer

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

£ 69.42
More Information More Info

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.72
More Information More Info
Featured Choice
£ 64.85
To Shop