𝔖 Bobbio Scriptorium
✦   LIBER   ✦

State‐saving transformations for efficient bottom‐up evaluation of logic programs and rule‐based systems

✍ Scribed by Knut Hinkelmann; Helge Hintze


Book ID
110379839
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
268 KB
Volume
20
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.