Items where Author is "Taher Muhammad, Ali"
Group by: Item Type | No Grouping Number of items: 1. Taher Muhammad, Ali (2013) Query proof structure caching for incremental evaluation of tabled prolog programs / Taher Muhammad Ali. PhD thesis, University of Malaya. |