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)