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

74.99

Featured

	£ 74.99	To Shop
	£ 74.99	To Shop

Description

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

Compare webshops (2)

Shop

Price

£ 74.99

To Shop

£ 74.99

To Shop

Description (1)

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

Brand	Springer
EAN	9781461275152

Prices were last updated on: 12-02-2026, 03:17

Dover

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover...

Springer

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification (Texts in Computer Science)

Hutson Street Press

Generating Test Templates via Automated Theorem Proving

Hutson Street Press

Generating Test Templates via Automated Theorem Proving

Featured Choice

£ 74.99

To Shop