✦ LIBER ✦
From logic design to logic programming: Theorem proving techniques and P-functions: By D. Snyers and A. Thayse. Lecture Notes in Computer Science 271, Springer, Berlin, 1987, 125 pages
✍ Scribed by Yves Deville
- Publisher
- Elsevier Science
- Year
- 1988
- Tongue
- English
- Weight
- 252 KB
- Volume
- 10
- Category
- Article
- ISSN
- 0167-6423
No coin nor oath required. For personal study only.