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

Description

Amazon Handbook of Practical Logic and Automated Reasoning Product Type: ABIS_BOOK

Compare webshops (2)

Sort by:

£ 103.23

Description (1)

Handbook of Practical Logic and Automated Reasoning Product Type: ABIS_BOOK

Brand	Cambridge University Press
EAN	9780521899574

North-Holland

Handbook of Automated Reasoning

Springer

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

Independently Published

Reasoning Models Explained Handbook: A Practical Guide to AI Logic, Chain-of-Thought Reasoning,...

College Publications

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