Query proof structure caching for incremental evaluation of tabled PROLOG programs /
محفوظ في:
| المؤلف الرئيسي: | Ali, Taher Muhammad |
|---|---|
| التنسيق: | أطروحة كتاب |
| اللغة: | English |
| منشور في: |
2013.
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://studentsrepo.um.edu.my/id/eprint/5604 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Computational lexicography : constructing a lexical database in prolog /
بواسطة: Ooi, Beng Yeow
منشور في: (1987) -
Penemuan secara abduktif dalam pangkalan data /
بواسطة: Mohd Ridzuan bin Hussin
منشور في: (1996) -
A knowledge based system for machine tool replacement /
بواسطة: Mohd. Amin Abd. Majid
منشور في: (1993) -
Probe : a formal specification-based testing system /
بواسطة: al-Amayreh, Ahmed Abedl Rahman
منشور في: (1997) -
Application of fuzzy logic to partial constraint satisfaction problem /
بواسطة: Fung, Cheong Yiu
منشور في: (1993)
