專書單篇
學年期 | 標題 | 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 |