✦ LIBER ✦

Automated Proof Construction in Type Theory Using Resolution

✍ Scribed by Marc Bezem; Dimitri Hendriks; Hans de Nivelle

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Prototype Proofs in Type Theory

✍ Giuseppe Longo 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 207 KB

Proof Assistance for Refinement in Type

✍ Nikos Mylonakis 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 180 KB

Proof schemata in Hilbert-type axiomatic

✍ V. P. Orevkov 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 734 KB

AGATHA: Using heuristic search to automa

✍ Alison Chorley; Trevor Bench-Capon 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 340 KB

Quotient topologies in constructive set

✍ Hajime Ishihara; Erik Palmgren 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 196 KB

Automated excavation in construction usi

✍ Fuad Mrad; M. Asem Abdul-Malak; Salah Sadek; Ziad Khudr 📂 Article 📅 2002 🏛 Emerald Group Publishing Limited 🌐 English ⚖ 213 KB