✦ LIBER ✦

Vague Domains, S-Unification and Logic Programming

✍ Scribed by Harry E. Virtanen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Integrating answer set programming and c

✍ Veena S. Mellarkod; Michael Gelfond; Yuanlin Zhang 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 659 KB

Some work of Lithuanian mathematicians i

✍ V. Matulis; R. Pliuškevičius; V. Tumasonis 📂 Article 📅 1980 🏛 Springer 🌐 English ⚖ 628 KB

Unification of robust design and goal pr

✍ P. B. S. Reddy; K. Nishina; A. Subash Babu 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 149 KB 👁 3 views

Logic programming : K.L. Clark and S.A T

📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 211 KB

Shapiro, E. (Ed.): Third International C

✍ W. Issel 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB