4 Results for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Refined by:
resource type:
Reports
| 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 programspublic 69540Digital Resources/Online E-Resources |
| 2 |
Material Type: Reports
|
|
Leiomyomatosis peritonealis dissemianata five years after laparoscopic uterine myomectomy: A case reportAnnals of medicine and surgery (2012), 2021, Vol.66, p.102377-102377ISSN: 2049-0801 ;EISSN: 2049-0801 ;DOI: 10.1016/j.amsu.2021.102377Full text available |
| 3 |
Material Type: Reports
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programspublic 86245Digital Resources/Online E-Resources |
| 4 |
Material Type: Reports
|
|
Termination Analysis of Logic Programs based on Dependency Graphspublic 69541Digital 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 | ||