✦ LIBER ✦

Logic, modeling, and programming

✍ Scribed by Ken McAloon; Carol Tretkoff

Book ID: 110380433
Publisher: Springer US
Year: 1997
Tongue: English
Weight: 121 KB
Volume: 71
Category: Article
ISSN: 0254-5330
DOI: 10.1023/a:1018979717390

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling advanced manufacturing systems

Modeling advanced manufacturing systems using concurrent logic programming

✍ D. Ben-Arieh; I. Miron 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 728 KB

Logic Programming as a Paradigm for Fina

Logic Programming as a Paradigm for Financial Modeling

✍ Robert P. Minch 📂 Article 📅 1989 🏛 Association for Information Systems 🌐 English ⚖ 814 KB

Logic programming and Σ-programming

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

Abductive logic programming and disjunct

Abductive logic programming and disjunctive logic programming: their relationship and transferability

✍ Chiaki Sakama; Katsumi Inoue 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 207 KB

Logic programming and parallelism

✍ Jacques Cohen 📂 Article 📅 1989 🏛 Springer-Verlag 🌐 English ⚖ 897 KB

Logic, Programming and Prolog

📂 Standards 📅 1995;2000 🏛 John Wiley & Sons 🌐 English ⚖ 541 KB

What sets this book apart from others on logic programming is the breadth of its coverage. The authors have achieved a fine balance between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications. This edition introduces major new developments