✦ LIBER ✦

Fourth IEEE Symposium on Logic Programming

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SLP '86 Overview Third IEEE-CS Symposium

📂 Article 📅 1986 🏛 IEEE 🌐 English ⚖ 293 KB

A Report on 1985 International Symposium

✍ Hideyuki Nakashima; Doug Degroot 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 102 KB

[IEEE Comput. Soc. Press [1989] Proceedi

✍ Scott, D.S. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 156 KB

Third International Conference on Logic

📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 275 KB

Call for papers: Fourth Symposium on Mat

📂 Article 📅 1982 🏛 Springer-Verlag 🌐 English ⚖ 55 KB

On temporal logic programming using Petr

✍ Zaidi, A.K. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 293 KB