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

Name: First Order Logic and Automated Theorem Proving (Texts in Computer Science)
Brand: Springer
SKU: 7a2c8c7a7905fc48524a23b5da74ae8a

1/1

Prices from

64.86

Featured

Description

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

Compare webshops (2)

Shop

Price

£ 64.86

To Shop

£ 64.86

To Shop

Description (0)

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

Brand	Springer
EAN	9781461275152

Springer

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

North-Holland

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

Academic Press

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

Springer

Automated Theorem Proving in Software Engineering