✦ LIBER ✦

A new method for describing the AND-OR-parallel execution of logic programs

✍ Scribed by Chengzheng Sun; Yungui Tzu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Path for AND-parallel execution of logic

✍ Su-Hyun Lee; Do-Hyung Kim; Kwang-Moo Choe 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 768 KB

The OR-forest-based parallel execution m

✍ Sun Chengzheng; Ci Yungui 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 768 KB

Logic programs and an experimental archi

✍ Oldfield, J.V. 📂 Article 📅 1986 🏛 The Institution of Electrical Engineers ⚖ 764 KB

Logic programs and an experimental archi

✍ Oldfield, J.V. 📂 Article 📅 1986 🏛 The Institution of Electrical Engineers ⚖ 703 KB

A new method for describing the motion o

✍ H. Kurosawa; P.S. Walker 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 241 KB

A portable model for predicting the size

✍ Jakob Axelsson 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 275 KB