✦ LIBER ✦

Attribute grammar based theorem prover

✍ Scribed by T Panayiotopoulos; G Papakonstantinou; G Stamatopoulos

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On theorem prover-based testing

✍ Brucker, Achim D.; Wolff, Burkhart 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 812 KB

Tableau-based theorem provers: Systems a

✍ J. Schumann 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 828 KB

Parallelization of a Hyper-Linking–Based

✍ Chih-Hung Wu; Shie-Jue Lee 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 497 KB

Character recognition based on attribute

✍ Kyoon Ha Lee; Kie-Bum Eom; Kashyap, R.L. 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 674 KB

An industrial strength theorem prover fo

✍ Kaufmann, M.; Moore, J.S. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 231 KB

Geometrical reasoning based on attribute

✍ DAVID Ben-arieh 📂 Article 📅 1999 🏛 Taylor and Francis Group 🌐 English ⚖ 294 KB