專書單篇
| 學年期 | 標題 | Sdgs | 更新時間 |
|---|---|---|---|
| 079 / 2 | Methodology for proving the termination of logic programs | 2014-12-15 | |
| 078 / 1 | Towards a characterization of termination of logic programs | 2014-12-15 |
| 學年期 | 標題 | Sdgs | 更新時間 |
|---|---|---|---|
| 079 / 2 | Methodology for proving the termination of logic programs | 2014-12-15 | |
| 078 / 1 | Towards a characterization of termination of logic programs | 2014-12-15 |