✦ LIBER ✦

Automated theorem proving by resolution in non-classical logics

✍ Scribed by Viorica Sofronie-Stokkermans

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated theorem proving for non-classi

📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 14 KB

Combining and automating classical and n

✍ Christoph Benzmüller 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 502 KB

Automated proving and analysis of geomet

✍ I. J. Tchoupaeva 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 535 KB

From logic design to logic programming:

✍ Yves Deville 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 252 KB