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.82

Featured

	£ 64.82	To Shop
	£ 64.82	To Shop

Description

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

Compare webshops (2)

Shop

Price

£ 64.82

To Shop

£ 64.82

To Shop

Description (1)

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

Brand	Springer
EAN	9781461275152

Prices were last updated on: 09-06-2026, 00:57

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

Featured Choice

£ 64.82

To Shop