✦ LIBER ✦
Negation as Failure. Completeness of the Query Evaluation Process for horn clause programs with recursive definitions
✍ Scribed by C. Aquilano; R. Barbuti; P. Bocchetti; M. Martelli
- Publisher
- Springer Netherlands
- Year
- 1986
- Tongue
- English
- Weight
- 928 KB
- Volume
- 2
- Category
- Article
- ISSN
- 0168-7433
No coin nor oath required. For personal study only.