Query proof structure caching for incremental evaluation of tabled PROLOG programs /
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
2013.
|
| Subjects: | |
| Online Access: | http://studentsrepo.um.edu.my/id/eprint/5604 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01203cam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | u888098 | ||
| 003 | SIRSI | ||
| 005 | 201309121639 | ||
| 008 | 130912s2013 my a t 000 0 eng m | ||
| 040 | |a UMM |d AUM |e rda | ||
| 090 | |a QA76 |b UMP 2013 Ali | ||
| 100 | 1 | |a Ali, Taher Muhammad. | |
| 245 | 1 | 0 | |a Query proof structure caching for incremental evaluation of tabled PROLOG programs / |c Muhammad Taher Ali. |
| 260 | |c 2013. | ||
| 300 | |a xvii, 195 leaves : |b ill. ; |c 30 cm. | ||
| 502 | |a Thesis (Ph.D) -- Jabatan Kepintaran Buatan, Fakulti Sains Komputer dan Teknologi Maklumat, Universiti Malaya, 2013. | ||
| 504 | |a Bibliography: leaves 151-156. | ||
| 530 | |a Issued also in CD. | ||
| 650 | 0 | |a Artificial intelligence |x Data processing. | |
| 650 | 0 | |a Prolog (Computer program language) | |
| 650 | 0 | |a Logic programming. | |
| 710 | 2 | |a Universiti Malaya. |b Jabatan Kepintaran Buatan. | |
| 856 | 4 | 1 | |u http://studentsrepo.um.edu.my/id/eprint/5604 |
| 900 | |a AT-ZA | ||
| 596 | |a 1 25 | ||
| 999 | |a QA76 UMP 2013 ALI |w LC |c 1 |i A515668449 |d 27/11/2013 |f 27/11/2013 |g 1 |l STACKS |m P01UTAMA |r Y |s Y |t TESIS |u 21/11/2013 | ||
| 999 | |a QA76 UMP 2013 ALI |w LC |c 1 |i A517294979 |f 1/8/2019 |g 1 |l STACKS |m P25UMARCHI |r Y |s Y |t CD |u 11/9/2017 |1 STEM | ||