✦ LIBER ✦

A Logic for Schema-Based Program Development

✍ Scribed by Martin C. Henson; Steve Reeves

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An XML-based schema for stochastic progr

✍ R. Fourer; H. I. Gassmann; J. Ma; R. K. Martin 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 964 KB

A Logic-Program-Based Negotiation Mechan

✍ Wu Chen; Ming-Yi Zhang; Mao-Nian Wu 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 406 KB

The development of a program generator f

✍ Bala Ram; Steven H.-Y. Lai 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 307 KB

Logic-based program system for predictin

✍ Ferenc Darvas; Iván Futó; Peter Szeredi 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 787 KB

Semantics-based program analysis for log

✍ Michael Codish; Bart Demoen; Konstantinos Sagonas 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 373 KB

Meta-logic programming for a synonymy lo

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