Handbook of Practical Logic and Automated Reasoning

Harrison, J. (2009). Handbook of Practical Logic and Automated Reasoning. Cambridge University Press.

Type

Book

Intellectual base

Review or monograph

Year

2009

DOI

10.1017/cbo9780511576430

ISBN

9780521899574

Link

https://doi.org/10.1017/CBO9780511576430

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Mechanisms

• Theorem-Prover-Guided Search
  • Proof-search for rich theories is only semi-decidable

    This sourceExplains that general first-order proof search can certify a proof yet may run forever otherwise.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:dadeacbd1276 · see in the full table