An Environment for Logic Programming
- Nissim Francez
- Shalom Goldenberg
- et al.
- 1985
- ACM SIGPLAN Notices
Publications
Date
Featured collections
Popular topics
3 results for Shalom Tsur
The deductive database system ℒ script D sign ℒ++
- Faiz Arni
- Kayliang Ong
- et al.
- 2002
- Theory and Practice of Logic Programming
KNOWLEDGE-BASED EXPERT SYSTEM FOR STUDENT ADVISING.
- Martin C. Golumbic
- Moshe Markovich
- et al.
- 1986
- IEEE Transactions on Education