3 Results for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Reports
|
|
Polynomial interpretations as a basis for termination analysis of logic programsCW Reports, 2005Digital Resources/Online E-Resources |
| 2 |
Material Type: Reports
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsCW Reports, 2009Digital Resources/Online E-Resources |
| 3 |
Material Type: Reports
|
|
Termination Analysis of Logic Programs based on Dependency GraphsCW Reports, 2007, p.15-15Digital Resources/Online E-Resources |
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||