Ngôn ngữ:
Lọc theo:
Nhan đề tạp chí:
Theory And Practice Of Logic Programming
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Bài báo
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsTheory and practice of logic programming, 2011-01, Vol.11 (1), p.33-63 [Tạp chí có phản biện]Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Tài liệu số/Tài liệu điện tử |
| 2 |
Material Type: Bài báo
|
|
Polynomial interpretations as a basis for termination analysis of logic programsTheory and practice of logic programming, 2011-01, Vol.11 (1), p.33 [Tạp chí có phản biện]ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Tài liệu số/Tài liệu điện tử |
Chủ đề của tôi
Refine Search Results
Mở rộng kết quả tìm kiếm
Lọc kết quả
Chủ đề
- Technology (1)
- Mapping (1)
- Science & Technology - Other Topics (1)
- Polynomial Interpretations (1)
- Logic (1)
- Logic Programming (1)
- Acceptability (1)
- Science & Technology (1)
- Norms (1)
- Computer Science (1)
- Computer Science, Software Engineering (1)
- Termination Analysis (1)
- Computer Science, Theory & Methods (1)
- Regular Papers (1)
- Programming (1)
- Feasibility (1)
-
Lựa chọn khác
Cơ sở dữ liệu
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||