✦ LIBER ✦
Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers
✍ Scribed by Mark E Stickel
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 899 KB
- Volume
- 9
- Category
- Article
- ISSN
- 0167-739X
No coin nor oath required. For personal study only.