Implementing a knowledge-based library information system with typed horn logic
Hassan Aït-Kaci, Roger Nasr, Jungyun Seo
- Anthology ID:
- DBLP:journals/ipm/Ait-KaciNS90
- Volume:
- 1990 Volume 26 Issue 2
- Year:
- 1990
- Venue:
- ipm_journal
- Pages:
- 249–268
- URL:
- https://doi.org/10.1016/0306-4573(90)90029-2
- DOI:
- 10.1016/0306-4573(90)90029-2
- DBLP:
- journals/ipm/Ait-KaciNS90
