|
关注:1
2013-05-23 12:21
求翻译:实现求解原型DLP_SAT后,首先使用两个特殊的描述逻辑程序进行求解强回答集。是什么意思?![]() ![]() 实现求解原型DLP_SAT后,首先使用两个特殊的描述逻辑程序进行求解强回答集。
问题补充: |
|
2013-05-23 12:21:38
Solve the realization of the prototype dlp_sat the first to use two special description logic program to solve the strong answer set.
|
|
2013-05-23 12:23:18
For the prototype DLP SAT, the first to use two special Description logic program for the strong answer set.
|
|
2013-05-23 12:24:58
正在翻译,请等待...
|
|
2013-05-23 12:26:38
Realize solution after the prototype DLP_SAT, first to use two special kinds of description logic programs for solving strongly answer set.
|
|
2013-05-23 12:28:18
正在翻译,请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区