Handbook of Practical Logic and Automated Reasoning

Name: Handbook of Practical Logic and Automated Reasoning
Brand: Cambridge University Press
SKU: 3b7579a10aa908d271027539fec40420

1/1

Prices from

103.23

Featured

	£ 103.23	To Shop
	£ 103.23	To Shop

Description

Amazon Pages: 702, Edition: 1, Hardcover, Cambridge University Press

Compare webshops (2)

Shop

Price

£ 103.23

To Shop

£ 103.23

To Shop

Description (1)

Pages: 702, Edition: 1, Hardcover, Cambridge University Press

Brand	Cambridge University Press
EAN	9780521899574

Prices were last updated on: 06-04-2026, 10:09

North-Holland

Handbook of Automated Reasoning

Springer

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

North-Holland

Handbook of the Logic Argument and Inference: Turn Towards Practical (Volume 1)...

College Publications

Automated Reasoning in Higher order Logic: Set Comprehension and Extensionality Church's Type...

Featured Choice

£ 103.23

To Shop