✦ LIBER ✦

Parallel cooperative propositional theorem proving

✍ Scribed by Fumiaki Okushi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An efficient procedure for theorem provi

✍ Wen-Tsuen Chen; Ming-Yi Fang 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 662 KB

A parallel approach for theorem proving

✍ Chen Wen-Tsuen; Liu Lung-Lung 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 948 KB

A constant time algorithm for theorem pr

✍ B. Pradeep; C. Siva Ram Murthy 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 448 KB