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