✦ LIBER ✦

A Visual Syntax for Logic and Logic Programming

✍ Scribed by JAUME AGUST Í; JORDI PUIGSEGUR; DAVE ROBERTSON

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Visual logic programming

✍ L.F. Pau; H. Olason 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 850 KB

Meta-logic programming for a synonymy lo

✍ Daniele Genito; Giangiacomo Gerla; Alessandro Vignes 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 402 KB

Philosophy and Logical Syntax

✍ Carnap, Rudolf 📂 Fiction 📅 0 🌐 English ⚖ 10 KB

Logical Syntax and Semantics

✍ Chomsky, Noam 📂 Fiction 📅 0 🌐 English ⚖ 388 KB

Logic programming and Σ-programming

✍ A. A. Voronkov 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 780 KB

Tableaux for logic programming

✍ Melvin Fitting 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 1016 KB