✦ LIBER ✦
Polynomial-time inference of all valid implications for Horn and related formulae
✍ Scribed by E. Boros; Y. Crama; P. L. Hammer
- Publisher
- Springer Netherlands
- Year
- 1990
- Tongue
- English
- Weight
- 696 KB
- Volume
- 1
- Category
- Article
- ISSN
- 1012-2443
No coin nor oath required. For personal study only.