✦ LIBER ✦

On the development of applications of logic in programming

✍ Scribed by Yunzeng Wu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Expressive Applications of Constraint Lo

✍ William B. Day 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 580 KB

Mathematical applications of inductive l

✍ Simon Colton; Stephen Muggleton 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 698 KB

On programming an interactive graphical

✍ Manuel João Próspero; Paulo Jorge Pereira 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 689 KB

On the logic of programs

✍ R. A. Plyushkyavichyus; A. Yu. Plyushkyavichene; Yu. V. Sakalauskaite; S. P. Yuk 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 875 KB

On the autoepistemic reconstruction of l

✍ Y. J. Jiang 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 1011 KB

Guest editor's introduction Special Issu

✍ L Sterling 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 125 KB