✦ LIBER ✦

The programming of large logical problems

✍ Scribed by Jan V. Garwick

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic programming for combinatorial prob

✍ Toshinori Munakata; Roman Barták 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 220 KB

Symbolic-numerical methods in discrete p

✍ G. I. Ankudinov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 604 KB

Logical programming for the telegram ana

✍ Koji Torii; Yuji Sugiyama; Mamoru Fujii; Tadao Kasami; Yoshitomi Morisawa 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 741 KB

Logic-programming specification and exec

✍ W.F. Clocksin 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 623 KB

Parallel Logic Programming for Problem S

✍ Ramiro Varela Arias; Camino Rodríguez Vela; Jorge Puente Peinador; Cesar Alonso 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 743 KB

Modelling discrete optimisation problems

✍ Peter Barth; Alexander Bockmayr 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 215 KB