✦ LIBER ✦

On the Modelling of Search in Theorem Proving— Towards a Theory of Strategy Analysis

✍ Scribed by Maria Paola Bonacina; Jieh Hsiang

Book ID: 112252375
Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 958 KB
Volume: 147
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1998.2739

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficiency and Completeness of the Set o

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

✍ Wos, Lawrence; Robinson, George A.; Carson, Daniel F. 📂 Article 📅 1965 🏛 Association for Computing Machinery 🌐 English ⚖ 369 KB

Toward a Theory of Political Strategy in

Toward a Theory of Political Strategy in Policy Analysis

✍ König, Pascal D.; Wenzelburger, Georg 📂 Article 📅 2014 🏛 John Wiley and Sons 🌐 English ⚖ 322 KB

On the Application of a Smoothness Funct

On the Application of a Smoothness Function in Proving a Local Limit Theorem

✍ Gamkrelidze, N. G. 📂 Article 📅 1989 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 362 KB

A note on the principal theorems in the

A note on the principal theorems in the theory of functional analysis

✍ Du Nailin; Zeng Xianwu 📂 Article 📅 1997 🏛 Wuhan University 🌐 English ⚖ 198 KB

On the Reconstruction of Proofs in Distr

On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method

✍ MARIA PAOLA BONACINA 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 541 KB

Proof reconstruction is the operation of extracting the computed proof from the trace of a theorem-proving run. We study the problem of proof reconstruction in distributed theorem proving: because of the distributed nature of the derivation and especially because of deletions of clauses by contracti

Discussions: On a Theorem in the Theory

Discussions: On a Theorem in the Theory of Probabilities

✍ Charlotte Dickson 📂 Article 📅 1920 🏛 Mathematical Association of America 🌐 English ⚖ 303 KB