Items where Author is "Taher Muhammad, Ali"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
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.

This list was generated on Thu Dec 26 23:00:49 2024 MYT.