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

79.00

Description

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

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 79.00

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