✦ LIBER ✦

Uniform strategies: The CADE-11 theorem proving contest

✍ Scribed by Ewing L. Lusk; William W. McCune

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficiency and Completeness of the Set o

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

On the Modelling of Search in Theorem Pr

✍ Maria Paola Bonacina; Jieh Hsiang 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 958 KB

[IEEE 2010 25th Annual IEEE Symposium on

✍ Moore, J Strother 📂 Article 📅 2010 🏛 IEEE ⚖ 151 KB