| DaftarIsitemplate |
| Call Number |
| 005.133 Gab l |
| Title |
| Polynomial interpretations as a basis for termination analysis of logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 311-325 |
| Author |
| Manh Thang Nguyen; Danny De Schreye; |
| Publisher |
| Springer, 2005 |
| Subject |
| Location |